diff options
Diffstat (limited to 'development/gprolog/README')
-rw-r--r-- | development/gprolog/README | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/gprolog/README b/development/gprolog/README new file mode 100644 index 0000000000000..27077bd867700 --- /dev/null +++ b/development/gprolog/README @@ -0,0 +1,10 @@ +The gprolog configure script appears to ignore the execc-prefix +information handed to it which indicates where compiled binaries +should be installed. It insists on installing everything into +/usr/gprolog-$VERSION/ and then creating symlinks in /usr/bin. + +This script will correct this by moving the files in +/usr/gprolog-$VERSION to their propper places in /usr, +ie: binaries are placed in /usr/bin, libraries in /usr/lib or +/usr/lib64 and documentation in /usr/doc/gprolog-$VERSION. + |