diff options
Diffstat (limited to 'directories.gpr')
| -rw-r--r-- | directories.gpr | 18 | 
1 files changed, 18 insertions, 0 deletions
| diff --git a/directories.gpr b/directories.gpr new file mode 100644 index 0000000..689d436 --- /dev/null +++ b/directories.gpr @@ -0,0 +1,18 @@ +-- 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; |