diff options
| -rw-r--r-- | development/gprolog/README | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/development/gprolog/README b/development/gprolog/README index 27077bd867..9f3f9b381a 100644 --- a/development/gprolog/README +++ b/development/gprolog/README @@ -1,10 +1,9 @@ -The gprolog configure script appears to ignore the execc-prefix -information handed to it which indicates where compiled binaries +The gprolog configure script appears to ignore the exec-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, +This script will correct this by moving the files in +/usr/gprolog-$VERSION to their proper places in /usr, ie: binaries are placed in /usr/bin, libraries in /usr/lib or /usr/lib64 and documentation in /usr/doc/gprolog-$VERSION. - |