diff options
Diffstat (limited to 'directories.gpr')
| -rw-r--r-- | directories.gpr | 18 | 
1 files changed, 0 insertions, 18 deletions
| diff --git a/directories.gpr b/directories.gpr deleted file mode 100644 index 689d436..0000000 --- a/directories.gpr +++ /dev/null @@ -1,18 +0,0 @@ --- Default directories --- Copyright 2012 B. Persson, Bjorn@Rombobeorn.se --- You may do whatever you want with this file as long as you acknowledge the --- author's copyright. - --- If your system has a global directories.gpr and you want to install to the --- directories it specifies, then just delete this file and let the build use --- the global one. Otherwise edit the paths below to your liking. - - -project Directories is -   Hardware_Platform := ""; -   Libdir            := "/usr/local/lib"; -   Bindir            := "/usr/local/bin"; -   Libexecdir        := "/usr/local/libexec"; -   Includedir        := "/usr/local/include"; -   for Source_Files use (); -end Directories; |