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; |