bucket_5A/ini_file_manager

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               ini_file_manager
   4 VERSION=                09
   5 KEYWORDS=               misc ada
   6 VARIANTS=               standard
   7 SDESC[standard]=        Ini configuration file manipulator for Ada
   8 HOMEPAGE=               https://sourceforge.net/projects/ini-files/
   9 CONTACT=                John_Marino[draco@marino.st]
  10
  11 DOWNLOAD_GROUPS=        main
  12 SITES[main]=            SF/ini-files/ini-files/
  13 DISTFILE[1]=            ini-files-09.zip:main
  14 DF_INDEX=               1
  15 SPKGS[standard]=        complete
  16                         primary
  17                         docs
  18                         examples
  19
  20 OPTIONS_AVAILABLE=      none
  21 OPTIONS_STANDARD=       none
  22
  23 USES=                   gprbuild dos2unix
  24
  25 DISTNAME=               ini
  26
  27 LICENSE=                MIT:primary
  28 LICENSE_FILE=           MIT:{{WRKDIR}}/LICENSE
  29 LICENSE_AWK=            MIT:"^-- Change"
  30 LICENSE_SOURCE=         MIT:{{WRKSRC}}/config.ads
  31 LICENSE_SCHEME=         solo
  32
  33 FPC_EQUIVALENT=         misc/ini_file_manager
  34
  35 do-build:
  36         (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -p -Pconstruct)
  37
  38 post-extract:
  39         ${CP} ${FILESDIR}/construct.gpr ${WRKSRC}
  40         ${MKDIR} ${WRKSRC}/src
  41         ${MV} ${WRKSRC}/config.ad[bs] ${WRKSRC}/src
  42         ${SED} -e "s,@PREFIX@,${LOCALBASE},g" ${FILESDIR}/runme.sh.in \
  43                 > ${WRKSRC}/runme.sh
  44
  45 do-install:
  46         ${MKDIR} ${STAGEDIR}${PREFIX}/lib/gnat \
  47                 ${STAGEDIR}${PREFIX}/lib/ini_file_manager \
  48                 ${STAGEDIR}${PREFIX}/include/ini_file_manager \
  49                 ${STAGEDIR}${STD_EXAMPLESDIR} \
  50                 ${STAGEDIR}${STD_DOCDIR}
  51         ${INSTALL_DATA} ${FILESDIR}/ini_file_manager.gpr \
  52                 ${STAGEDIR}${PREFIX}/lib/gnat
  53         ${INSTALL_DATA} ${WRKSRC}/src/* \
  54                 ${STAGEDIR}${PREFIX}/include/ini_file_manager
  55         ${INSTALL_DATA} ${WRKSRC}/lib/*  \
  56                 ${STAGEDIR}${PREFIX}/lib/ini_file_manager
  57         ${INSTALL_DATA} ${WRKSRC}/ini_file_manager.txt \
  58                 ${STAGEDIR}${STD_DOCDIR}
  59         ${INSTALL_SCRIPT} ${WRKSRC}/runme.sh ${STAGEDIR}${STD_EXAMPLESDIR}
  60         ${INSTALL_DATA} ${WRKSRC}/test_config.adb \
  61                 ${FILESDIR}/example.gpr ${STAGEDIR}${STD_EXAMPLESDIR}
  62
  63 [FILE:492:descriptions/desc.primary]
  64 The Ini file manager consists of a package, Config, which can read or write
  65 informations from various configuration files known as "ini" files because
  66 they have often the ".ini" extension. They are text files which look like
  67 the following:
  68
  69   ; Comment line
  70   [Section 1]
  71   a_string = abcd     # a comment here...
  72   a_number = +123.456 ; another comment
  73   [Section 2]
  74   a_string = efgh
  75
  76 For more examples in this format, just search files with the .ini extension
  77 on a Windows-based computer.
  78
  79
  80 [FILE:95:distinfo]
  81 1e5c4d579b69f66d709254965478a9e9348f6e3fc28c6a1edf5831b2d8161933        14010 ini-files-09.zip
  82
  83
  84 [FILE:129:manifests/plist.primary]
  85 include/ini_file_manager/
  86  config.adb
  87  config.ads
  88 lib/gnat/ini_file_manager.gpr
  89 lib/ini_file_manager/
  90  config.ali
  91  libinifiles.a
  92
  93
  94 [FILE:48:manifests/plist.docs]
  95 share/doc/ini_file_manager/ini_file_manager.txt
  96
  97
  98 [FILE:73:manifests/plist.examples]
  99 share/examples/ini_file_manager/
 100  example.gpr
 101  runme.sh
 102  test_config.adb
 103
 104
 105 [FILE:337:files/construct.gpr]
 106 project Construct is
 107
 108    for Languages use ("ada");
 109    for Source_Dirs use ("src");
 110    for Object_Dir use "obj";
 111    for Library_Name use "inifiles";
 112    for Library_Dir use "lib";
 113    for Library_Kind use "static";
 114
 115    package Builder is
 116       for Default_Switches ("ada") use ("-gnatf", "-gnatws", "-O2");
 117    end Builder;
 118
 119 end Construct;
 120
 121
 122 [FILE:254:files/example.gpr]
 123 with "ini_file_manager";
 124 project Example is
 125
 126    for Exec_Dir use "/tmp";
 127    for Object_Dir use "/tmp";
 128    for Main use ("test_config.adb");
 129
 130    package Compiler is
 131       for Default_Switches ("ada") use ("-O2", "-gnat05");
 132    end Compiler;
 133
 134 end Example;
 135
 136
 137 [FILE:323:files/ini_file_manager.gpr]
 138 project Ini_File_Manager is
 139    for Languages        use ("ada");
 140    for Library_Name     use "inifiles";
 141    for Source_Dirs      use ("../../include/ini_file_manager");
 142    for Library_Dir      use "../../lib/ini_file_manager";
 143    for Library_Kind     use "static";
 144    for Externally_Built use "true";
 145 end Ini_File_Manager;
 146
 147
 148 [FILE:469:files/runme.sh.in]
 149 #!/bin/sh
 150
 151 # This script will:
 152 # 1) Build the example executable in /tmp
 153 # 2) Tell the user how to execute it
 154
 155 GNATMAKE=@PREFIX@/gcc-aux/bin/gnatmake
 156 ADA_PROJECT_PATH=@PREFIX@/lib/gnat
 157 export ADA_PROJECT_PATH
 158
 159 ${GNATMAKE} -P example
 160
 161 echo
 162 echo "The source for the example is test_config.adb"
 163 echo "The executable example is located in /tmp/test_config"
 164 echo "It requires no options; just run it"
 165 echo 'You may want to execute "rm /tmp/test_config*" when you are done.'
 166