1 files changed, 10 insertions, 0 deletions
diff --git a/development/gprolog/README b/development/gprolog/README
new file mode 100644
index 0000000000..27077bd867
--- /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.
+