diff options
author | John Marino <marino@FreeBSD.org> | 2014-03-23 23:44:07 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2014-03-23 23:44:07 +0000 |
commit | 345591ef0295d45156844563d8a55199b78092ee (patch) | |
tree | 9303e8e962e5fda0177f07347c8968300995e877 /misc | |
parent | 2971e5975a828557018056de01f58b9ea7f7ee73 (diff) | |
download | ports-345591ef0295d45156844563d8a55199b78092ee.tar.gz ports-345591ef0295d45156844563d8a55199b78092ee.zip |
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/
Notes
Notes:
svn path=/head/; revision=348904
Diffstat (limited to 'misc')
-rw-r--r-- | misc/Makefile | 1 | ||||
-rw-r--r-- | misc/ini_file_manager/Makefile | 56 | ||||
-rw-r--r-- | misc/ini_file_manager/distinfo | 2 | ||||
-rw-r--r-- | misc/ini_file_manager/files/construct.gpr | 14 | ||||
-rw-r--r-- | misc/ini_file_manager/files/example.gpr | 12 | ||||
-rw-r--r-- | misc/ini_file_manager/files/ini_file_manager.gpr | 7 | ||||
-rw-r--r-- | misc/ini_file_manager/files/runme.sh.in | 17 | ||||
-rw-r--r-- | misc/ini_file_manager/pkg-descr | 16 | ||||
-rw-r--r-- | misc/ini_file_manager/pkg-plist | 8 |
9 files changed, 133 insertions, 0 deletions
diff --git a/misc/Makefile b/misc/Makefile index 169906bcfef0..12d4fb600408 100644 --- a/misc/Makefile +++ b/misc/Makefile @@ -178,6 +178,7 @@ SUBDIR += hotkeys SUBDIR += hulgalugha SUBDIR += imerge + SUBDIR += ini_file_manager SUBDIR += inplace SUBDIR += ipa_conv SUBDIR += ipbt diff --git a/misc/ini_file_manager/Makefile b/misc/ini_file_manager/Makefile new file mode 100644 index 000000000000..b4b4b8925b40 --- /dev/null +++ b/misc/ini_file_manager/Makefile @@ -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> diff --git a/misc/ini_file_manager/distinfo b/misc/ini_file_manager/distinfo new file mode 100644 index 000000000000..cd114d78a3c4 --- /dev/null +++ b/misc/ini_file_manager/distinfo @@ -0,0 +1,2 @@ +SHA256 (ini-files-03.zip) = eac1c59d766fe9ce3cde7c126fe98d618c30266cc3a6d93b7e0d0e2a8d47025d +SIZE (ini-files-03.zip) = 7643 diff --git a/misc/ini_file_manager/files/construct.gpr b/misc/ini_file_manager/files/construct.gpr new file mode 100644 index 000000000000..74c5d83e9ef9 --- /dev/null +++ b/misc/ini_file_manager/files/construct.gpr @@ -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; diff --git a/misc/ini_file_manager/files/example.gpr b/misc/ini_file_manager/files/example.gpr new file mode 100644 index 000000000000..bd61316bda2a --- /dev/null +++ b/misc/ini_file_manager/files/example.gpr @@ -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; diff --git a/misc/ini_file_manager/files/ini_file_manager.gpr b/misc/ini_file_manager/files/ini_file_manager.gpr new file mode 100644 index 000000000000..4da291c2da1c --- /dev/null +++ b/misc/ini_file_manager/files/ini_file_manager.gpr @@ -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; diff --git a/misc/ini_file_manager/files/runme.sh.in b/misc/ini_file_manager/files/runme.sh.in new file mode 100644 index 000000000000..6c1c8cda598e --- /dev/null +++ b/misc/ini_file_manager/files/runme.sh.in @@ -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.' diff --git a/misc/ini_file_manager/pkg-descr b/misc/ini_file_manager/pkg-descr new file mode 100644 index 000000000000..d1824cad62c8 --- /dev/null +++ b/misc/ini_file_manager/pkg-descr @@ -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/ diff --git a/misc/ini_file_manager/pkg-plist b/misc/ini_file_manager/pkg-plist new file mode 100644 index 000000000000..1188937acef0 --- /dev/null +++ b/misc/ini_file_manager/pkg-plist @@ -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 |