Original bug ID: 717
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hello, ...

Camlp4 in ocaml 3.04 don't honor the PREFIX Makefile variable correctly, this
hinders instalation in a place which is not the same as the one it was
configured as (for package building, as i do for the debian packages).

The currently generated camlp4/config/Makefile includes :

PREFIX=/usr/local
BINDIR=/usr/local/bin
LIBDIR=/usr/local/lib/ocaml/camlp4
MANDIR=/usr/local/man/man1

While :

PREFIX=/usr
BINDIR=$(PREFIX)/bin
LIBDIR=$(PREFIX)/lib/ocaml/camlp4
MANDIR=$(PREFIX)/man/man1

Is wanted ...

Sadly, i have not (yet) found a propper fix to this, i did just do the
following in configure :

-EXE=$exe ./configure_batch -bindir "$bindir" -libdir "$libdir/camlp4" -mandir "$mandir" -ocaml-top ../.. > /dev/null
+EXE=$exe ./configure_batch -prefix "$prefix" -ocaml-top ../.. > /dev/null

which fixed the prefix handling, but did natrally break the specifying of a
separate bin, lib or mandir.

I needed also to hand change the libdir in camlp4/config/configure_batch :

• "") echo 'LIBDIR=$(PREFIX)/lib/camlp4' >> Makefile.cnf

•  libdir="$prefix/lib/camlp4";;
  

• "") echo 'LIBDIR=$(PREFIX)/lib/ocaml/camlp4' >> Makefile.cnf

•  libdir="$prefix/lib/ocaml/camlp4";;
  

A small patch is attached, but it is not more than a quick workaround.

Friendly,

Sven Luther

--- configure.orig Fri Dec 14 15:20:48 2001
+++ configure Fri Dec 14 15:26:09 2001
@@ -1148,7 +1148,7 @@
fi

if test $has_tk = true; then

• if sh ./hasgot $tk_x11_include $tk_defs -i tk.h; then

• if cc="$cc" sh ./hasgot "$tk_x11_include $tk_defs" -i tk.h; then
  echo "tk.h found."
  else
  echo "tk.h not found."
  @@ -1204,7 +1204,7 @@

(
cd ../../camlp4/config
-EXE=$exe ./configure_batch -bindir "$bindir" -libdir "$libdir/camlp4" -mandir "$mandir" -ocaml-top ../.. > /dev/null
+EXE=$exe ./configure_batch -prefix "$prefix" -ocaml-top ../.. > /dev/null
)

Finish generated files

--- camlp4/config/configure_batch.orig Fri Dec 14 15:24:01 2001
+++ camlp4/config/configure_batch Fri Dec 14 15:24:32 2001
@@ -92,8 +92,8 @@
*) echo "BINDIR=$bindir" >> Makefile.cnf;;
esac
case "$libdir" in

• "") echo 'LIBDIR=$(PREFIX)/lib/camlp4' >> Makefile.cnf

•  libdir="$prefix/lib/camlp4";;
  

• "") echo 'LIBDIR=$(PREFIX)/lib/ocaml/camlp4' >> Makefile.cnf

•  libdir="$prefix/lib/ocaml/camlp4";;
  

  *) echo "LIBDIR=$libdir" >> Makefile.cnf;;
  esac
  case "$mandir" in