From: Florent Monnier <fmonnier@linux-nantes.fr.eu.org>
To: caml-list@yquem.inria.fr
Cc: Nicolas Pouillard <nicolas.pouillard@gmail.com>
Subject: Re: [Caml-list] batteries compilation error
Date: Fri, 4 Sep 2009 08:08:54 +0200 [thread overview]
Message-ID: <200909040808.54495.fmonnier@linux-nantes.fr.eu.org> (raw)
In-Reply-To: <1251967200-sup-3000@peray>
(...)
> > > I don't see any "-I +camlp4" can you add it?
> >
> > if I run the command like this on the command line it passes right
> > but when I run again the make command it doesn't continue because
> > ocamlbuild complains about sanity violation
> > Anyway as it is for packaging purpose I will need to patch the Makefile,
> > the problem is that I don't see where to add this statement in the
> > Makefile:
> > http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=b
> >lob;f=Makefile.in;hb=HEAD
> >
> > (also I've search in the debian package, and it seems they haven't patch
> > the Makefile at all)
>
> If you are using ocamlbuild, then a -tag use_camlp4 could do the job.
I've added this tag to the OBFLAGS of the Makefile as below,
but there is still an error:
$ make all opt top syntax OBFLAGS="-tag use_camlp4"
ocamlbuild -tag use_camlp4 src/main/threads/batteries.cma
src/main/threads/run.byte src/main/nothreads/batteries.cma
src/main/nothreads/run.byte src/syntax/pa_openin/pa_openin.cmo
src/syntax/pa_openin/pa_openin_r.cmo src/syntax/pa_where/pa_where.cmo
src/syntax/pa_batteries/pa_batteries.cmo src/syntax/pa_strings/pa_strings.cma
src/syntax/pa_comprehension/pa_comprehension.cmo
src/batteries_toolchain/toplevel.top
src/batteries_toolchain/batteries_print.cmo
src/batteries_toolchain/batteries_help.cmo
Finished, 1 target (0 cached) in 00:00:00.
+ ocamlfind ocamlmktop -I +camlp4 camlp4lib.cma
src/batteries_toolchain/toplevel/cbtop.cmo -o
src/batteries_toolchain/toplevel.top
File "_none_", line 1, characters 0-1:
Error: Error while linking /usr/lib/ocaml/camlp4/camlp4lib.cma(Camlp4):
Reference to undefined global `Dynlink'
Command exited with code 2.
make: *** [all] Error 10
next prev parent reply other threads:[~2009-09-04 6:10 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-01 9:14 Florent Monnier
2009-09-02 14:50 ` [Caml-list] " Nicolas Pouillard
2009-09-02 20:02 ` Florent Monnier
2009-09-03 8:41 ` Nicolas Pouillard
2009-09-04 6:08 ` Florent Monnier [this message]
2009-09-05 7:42 ` David Rajchenbach-Teller
2009-09-05 17:34 ` Florent Monnier
2009-09-06 10:24 ` Richard Jones
2009-09-06 19:33 ` Florent Monnier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200909040808.54495.fmonnier@linux-nantes.fr.eu.org \
--to=fmonnier@linux-nantes.fr.eu.org \
--cc=caml-list@yquem.inria.fr \
--cc=nicolas.pouillard@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox