bucket_5A/ini_file_manager

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               ini_file_manager
   4 VERSION=                10
   5 REVISION=               1
   6 KEYWORDS=               misc ada
   7 VARIANTS=               standard
   8 SDESC[standard]=        Ini configuration file manipulator for Ada
   9 HOMEPAGE=               https://sourceforge.net/projects/ini-files/
  10 CONTACT=                John_Marino[draco@marino.st]
  11
  12 DOWNLOAD_GROUPS=        main
  13 SITES[main]=            SF/ini-files/ini-files/
  14 DISTFILE[1]=            ini-files-10.zip:main
  15 DF_INDEX=               1
  16 SPKGS[standard]=        complete
  17                         primary
  18                         docs
  19
  20 OPTIONS_AVAILABLE=      none
  21 OPTIONS_STANDARD=       none
  22
  23 USES=                   gprbuild dos2unix
  24
  25 DISTNAME=               ini-files-code
  26
  27 LICENSE=                MIT:primary
  28 LICENSE_FILE=           MIT:{{WRKDIR}}/LICENSE
  29 LICENSE_SCHEME=         solo
  30
  31 FPC_EQUIVALENT=         misc/ini_file_manager
  32
  33 INSTALL_REQ_TOOLCHAIN=  yes
  34
  35 post-patch:
  36         # Done here because it comes with DOS endings
  37         ${AWK} '/^--  Change log/ {exit}; {print}' ${WRKSRC}/config.ads > ${WRKDIR}/LICENSE
  38
  39 do-build:
  40         (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -v -p -Pini_file_manager)
  41
  42 post-install:
  43         ${MKDIR} ${STAGEDIR}${STD_DOCDIR}
  44         ${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${STD_DOCDIR}/
  45
  46 pre-configure:
  47         # install our gpr build
  48         ${CP} ${FILESDIR}/construct.gpr ${WRKSRC}/ini_file_manager.gpr
  49
  50 do-install:
  51         (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprinstall \
  52                 --prefix=${STAGEDIR}${PREFIX}\
  53                 --sources-subdir=include/ini_file_manager \
  54                 --lib-subdir=lib/ini_file_manager \
  55                 --no-manifest \
  56                 -p -Pini_file_manager)
  57
  58 [FILE:492:descriptions/desc.primary]
  59 The Ini file manager consists of a package, Config, which can read or write
  60 informations from various configuration files known as "ini" files because
  61 they have often the ".ini" extension. They are text files which look like
  62 the following:
  63
  64   ; Comment line
  65   [Section 1]
  66   a_string = abcd     # a comment here...
  67   a_number = +123.456 ; another comment
  68   [Section 2]
  69   a_string = efgh
  70
  71 For more examples in this format, just search files with the .ini extension
  72 on a Windows-based computer.
  73
  74
  75 [FILE:95:distinfo]
  76 8ad0e74862557d8121dd0bc6b34c037ebe60bfca4eb8d879dc25e55f27ef1175        16446 ini-files-10.zip
  77
  78
  79 [FILE:130:manifests/plist.primary]
  80 include/ini_file_manager/
  81  config.adb
  82  config.ads
  83 lib/ini_file_manager/
  84  config.ali
  85  libinifiles.a
  86 share/gpr/ini_file_manager.gpr
  87
  88
  89 [FILE:37:manifests/plist.docs]
  90 share/doc/ini_file_manager/README.md
  91
  92
  93 [FILE:277:files/construct.gpr]
  94 project Ini_File_Manager is
  95
  96    for Languages use ("ada");
  97    for Object_Dir use "../objs";
  98    for Library_Dir use "../lib";
  99    for Library_Name use "inifiles";
 100    for Library_Kind use "static-pic";
 101
 102    for Source_Files use ("config.ads", "config.adb");
 103
 104 end Ini_File_Manager;
 105