diff options
Diffstat (limited to 'tool.gpr')
-rw-r--r-- | tool.gpr | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/tool.gpr b/tool.gpr deleted file mode 100644 index 7f41fcb..0000000 --- a/tool.gpr +++ /dev/null @@ -1,27 +0,0 @@ - - -project Tool is - - - for Languages use ("Ada"); - - - for Source_Dirs use ("tool"); - for Object_Dir use "obj"; - for Exec_Dir use "bin"; - for Main use ("template.adb"); - - - package Builder is - for Executable ("template.adb") use "template"; - end Builder; - - - package Compiler is - for Default_Switches("Ada") use ("-gnaty4aAbcefhiklM100nprt"); - end Compiler; - - -end Tool; - - |