Re: Problem with gramlib.cmxa
Quoting Christian Perrier (Christian.Perrier@onera.fr):
> The /usr/lib/camlp4/gramlib.cmxa file, which was there in 3.01.6 is not
> there anymore.
>
> Unfortunately, I'm not really familiar with OCAML so that I cannot figure
> out...
>
> In the same time I post this, I try to contact Daniel for getting his word
> about this.
After a few mails with Daniel (who is also camlp4 author) it looks like the
bug lies in the camlp4 package. "make opt" should be done on platforms
where an optimised OCAML exist....
I attach the appropriate patch for the rules file of the camlp4 package. It
just uncomments a line in build-stamp...:-)
With this patch, I have been able to compile a package with the cmxa file I
need....
--
Christian Perrier
ONERA/Département Réseau et Informatique Scientifique
+33 (0) 1 4673 4438 - +33 (0) 6 1016 9480
PGP/GnuPG Key ID 30C9348A (DSS)
*** rules.old Wed Aug 22 16:48:23 2001
--- rules Wed Aug 22 16:42:09 2001
***************
*** 18,24 ****
# if [ ! -f /usr/bin/ocamlc.opt ] ; then sed -e 's/OCAMLC=ocamlc.opt/OCAMLC=ocamlc/' -e 's/OCAMLOPT=ocamlopt.opt/OCAMLOPT=ocamlopt/' config/Makefile > config/Makefile.new ; mv config/Makefile.new config/Makefile ; fi
./configure
$(MAKE) world
! # if [ -f /usr/bin/ocamlopt ] ; then $(MAKE) opt ; fi
touch build-stamp
--- 18,24 ----
# if [ ! -f /usr/bin/ocamlc.opt ] ; then sed -e 's/OCAMLC=ocamlc.opt/OCAMLC=ocamlc/' -e 's/OCAMLOPT=ocamlopt.opt/OCAMLOPT=ocamlopt/' config/Makefile > config/Makefile.new ; mv config/Makefile.new config/Makefile ; fi
./configure
$(MAKE) world
! if [ -f /usr/bin/ocamlopt ] ; then $(MAKE) opt ; fi
touch build-stamp
Reply to: