Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 23 Mar 2014 23:44:07 +0000 (UTC)
From:      John Marino <marino@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r348904 - in head/misc: . ini_file_manager ini_file_manager/files
Message-ID:  <201403232344.s2NNi7Xd063090@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: marino
Date: Sun Mar 23 23:44:07 2014
New Revision: 348904
URL: http://svnweb.freebsd.org/changeset/ports/348904
QAT: https://qat.redports.org/buildarchive/r348904/

Log:
  add new Ada dev port: misc/ini_file_manager
  
  The Ini file manager consists of a package, Config, which can read or write
  informations from various configuration files known as "ini" files because
  they have often the ".ini" extension. They are text files which look like
  the following:
  
    ; Comment line
    [Section 1]
    a_string = abcd     # a comment here...
    a_number = +123.456 ; another comment
    [Section 2]
    a_string = efgh
  
  For more examples in this format, just search files with the .ini extension
  on a windows-based computer.
  
  WWW: http://sourceforge.net/projects/ini-files/

Added:
  head/misc/ini_file_manager/
  head/misc/ini_file_manager/Makefile   (contents, props changed)
  head/misc/ini_file_manager/distinfo   (contents, props changed)
  head/misc/ini_file_manager/files/
  head/misc/ini_file_manager/files/construct.gpr   (contents, props changed)
  head/misc/ini_file_manager/files/example.gpr   (contents, props changed)
  head/misc/ini_file_manager/files/ini_file_manager.gpr   (contents, props changed)
  head/misc/ini_file_manager/files/runme.sh.in   (contents, props changed)
  head/misc/ini_file_manager/pkg-descr   (contents, props changed)
  head/misc/ini_file_manager/pkg-plist   (contents, props changed)
Modified:
  head/misc/Makefile

Modified: head/misc/Makefile
==============================================================================
--- head/misc/Makefile	Sun Mar 23 23:42:40 2014	(r348903)
+++ head/misc/Makefile	Sun Mar 23 23:44:07 2014	(r348904)
@@ -178,6 +178,7 @@
     SUBDIR += hotkeys
     SUBDIR += hulgalugha
     SUBDIR += imerge
+    SUBDIR += ini_file_manager
     SUBDIR += inplace
     SUBDIR += ipa_conv
     SUBDIR += ipbt

Added: head/misc/ini_file_manager/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/Makefile	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,56 @@
+# Created by: John Marino <marino@FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	ini_file_manager
+PORTVERSION=	03
+CATEGORIES=	misc
+MASTER_SITES=	http://sourceforge.net/projects/${SFPATH}/
+DISTNAME=	ini-files-${PORTVERSION}
+
+MAINTAINER=	marino@FreeBSD.org
+COMMENT=	Ini configuration file reader and manipulator package for Ada
+
+LICENSE=	MIT
+
+USES=		ada zip dos2unix
+SFPATH=		ini-files/files/ini-files/ini-files-${PORTVERSION}
+WRKSRC=		${WRKDIR}
+PORTDOCS=	ini_file_manager.txt
+PORTEXAMPLES=	example.gpr test_config.adb runme.sh
+
+OPTIONS_DEFINE=	DOCS EXAMPLES
+
+.include <bsd.port.options.mk>
+
+post-extract:
+	${CP} ${FILESDIR}/construct.gpr ${WRKSRC}
+	${MKDIR} ${WRKSRC}/src
+	${MV} ${WRKSRC}/config.ad[bs] ${WRKSRC}/src
+	${SED} -e "s,@PREFIX@,${LOCALBASE},g" ${FILESDIR}/runme.sh.in \
+		> ${WRKSRC}/runme.sh
+
+do-build:
+	(cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gnatmake -p -Pconstruct)
+
+do-install:
+	${MKDIR} ${STAGEDIR}${PREFIX}/lib/gnat \
+		${STAGEDIR}${PREFIX}/lib/ini_file_manager \
+		${STAGEDIR}${PREFIX}/include/ini_file_manager
+	${INSTALL_DATA} ${FILESDIR}/ini_file_manager.gpr \
+		${STAGEDIR}${PREFIX}/lib/gnat
+	${INSTALL_DATA} ${WRKSRC}/src/* \
+		${STAGEDIR}${PREFIX}/include/ini_file_manager
+	${INSTALL_DATA} ${WRKSRC}/lib/*  \
+		${STAGEDIR}${PREFIX}/lib/ini_file_manager
+.if ${PORT_OPTIONS:MDOCS}
+	${MKDIR} ${STAGEDIR}${DOCSDIR}
+	${INSTALL_DATA} ${WRKSRC}/ini_file_manager.txt ${STAGEDIR}${DOCSDIR}
+.endif
+.if ${PORT_OPTIONS:MEXAMPLES}
+	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
+	${INSTALL_SCRIPT} ${WRKSRC}/runme.sh ${STAGEDIR}${EXAMPLESDIR}
+	${INSTALL_DATA} ${WRKSRC}/test_config.adb \
+		${FILESDIR}/example.gpr ${STAGEDIR}${EXAMPLESDIR}
+.endif
+
+.include <bsd.port.mk>

Added: head/misc/ini_file_manager/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/distinfo	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,2 @@
+SHA256 (ini-files-03.zip) = eac1c59d766fe9ce3cde7c126fe98d618c30266cc3a6d93b7e0d0e2a8d47025d
+SIZE (ini-files-03.zip) = 7643

Added: head/misc/ini_file_manager/files/construct.gpr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/files/construct.gpr	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,14 @@
+project Construct is
+
+   for Languages use ("ada");
+   for Source_Dirs use ("src");
+   for Object_Dir use "obj";
+   for Library_Name use "inifiles";
+   for Library_Dir use "lib";
+   for Library_Kind use "static";
+
+   package Builder is
+      for Default_Switches ("ada") use ("-gnatf", "-gnatws", "-O2");
+   end Builder;
+
+end Construct;

Added: head/misc/ini_file_manager/files/example.gpr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/files/example.gpr	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,12 @@
+with "ini_file_manager";
+project Example is
+
+   for Exec_Dir use "/tmp";
+   for Object_Dir use "/tmp";
+   for Main use ("test_config.adb");
+
+   package Compiler is
+      for Default_Switches ("ada") use ("-O2", "-gnat05");
+   end Compiler;
+
+end Example;

Added: head/misc/ini_file_manager/files/ini_file_manager.gpr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/files/ini_file_manager.gpr	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,7 @@
+project Ini_File_Manager is
+   for Languages        use ("ada");
+   for Library_Name     use "inifiles";
+   for Source_Dirs      use ("../../include/ini_file_manager");
+   for Library_Dir      use "../../lib/ini_file_manager";
+   for Externally_Built use "true";
+end Ini_File_Manager;

Added: head/misc/ini_file_manager/files/runme.sh.in
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/files/runme.sh.in	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+# This script will:
+# 1) Build the example executable in /tmp
+# 2) Tell the user how to execute it
+
+GNATMAKE=@PREFIX@/gcc-aux/bin/gnatmake
+ADA_PROJECT_PATH=@PREFIX@/lib/gnat
+export ADA_PROJECT_PATH
+
+${GNATMAKE} -P example
+
+echo
+echo "The source for the example is test_config.adb"
+echo "The executable example is located in /tmp/test_config"
+echo "It requires no options; just run it"
+echo 'You may want to execute "rm /tmp/test_config*" when you are done.'

Added: head/misc/ini_file_manager/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/pkg-descr	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,16 @@
+The Ini file manager consists of a package, Config, which can read or write
+informations from various configuration files known as "ini" files because
+they have often the ".ini" extension. They are text files which look like
+the following:
+
+  ; Comment line
+  [Section 1]
+  a_string = abcd     # a comment here...
+  a_number = +123.456 ; another comment
+  [Section 2]
+  a_string = efgh
+
+For more examples in this format, just search files with the .ini extension
+on a windows-based computer.
+
+WWW: http://sourceforge.net/projects/ini-files/

Added: head/misc/ini_file_manager/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/misc/ini_file_manager/pkg-plist	Sun Mar 23 23:44:07 2014	(r348904)
@@ -0,0 +1,8 @@
+include/ini_file_manager/config.adb
+include/ini_file_manager/config.ads
+lib/gnat/ini_file_manager.gpr
+lib/ini_file_manager/config.ali
+lib/ini_file_manager/libinifiles.a
+@dirrm lib/ini_file_manager
+@dirrmtry lib/gnat
+@dirrm include/ini_file_manager



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201403232344.s2NNi7Xd063090>