mirror of
https://git.freebsd.org/ports.git
synced 2025-05-29 09:26:27 -04:00
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/
12 lines
254 B
Text
12 lines
254 B
Text
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;
|