Fix local stdlib mode

Use absolute dir
13 years ago · c26644791b
parent 1a28ed96e8
commit c26644791b
2 changed files with 1536 additions and 1401 deletions
--- a/2935
+++ b/2935
--- a/configure.in
+++ b/configure.in
@ -53,7 +53,7 @@ AC_CHECK_OCAML_PKG([lablgtk2])
 fi

 if test "$enable_local_stdlib" = "yes"; then
-    stdlib_dir=$srcdir/lib
+    stdlib_dir=$PWD/lib
 else
    stdlib_dir=$libdir/heptagon
 fi