caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Reference to undefined global `Toploop'
@ 2004-07-04 15:02 Luca
  0 siblings, 0 replies; 3+ messages in thread
From: Luca @ 2004-07-04 15:02 UTC (permalink / raw)
  To: caml-list

Hallo,  I just finished writing an implementation of logic resolution in 
Ocaml, I always worked in toplevel but now that I tired to have a 
standalone executable I get the following error


# ocamlc -pp "camlp4o" prog.ml
Error while loading "/usr/lib/ocaml/3.07/camlp4/camlp4o.cma": error 
while linking /usr/lib/ocaml/3.07/camlp4/camlp4o.cma.
Reference to undefined global `Toploop'
Preprocessor error

In toplevel everything works fine, my file starts with

#load "camlp4o.cma";;
use Genlex;;

and then there is a little parser very similar to the one on the first 
chapter of ocaml-reference manual.
I'm running ocaml 3.07 on a Debian ditribution of GNU/Linux.
Please anyone can help me, I spent a lot of time in writing this 
program...:-(

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] Reference to undefined global `Toploop'
  2004-07-04 15:09 Luca
@ 2004-07-05  2:00 ` Keisuke Nakano
  0 siblings, 0 replies; 3+ messages in thread
From: Keisuke Nakano @ 2004-07-05  2:00 UTC (permalink / raw)
  To: Luca; +Cc: caml-list

On 2004/07/05, at 0:09, Luca wrote:
> Hallo,  I just finished writing an implementation of logic resolution 
> in
> Ocaml, I always worked in toplevel but now that I tired to have a
> standalone executable I get the following error
>
>
> # ocamlc -pp "camlp4o" prog.ml
> Error while loading "/usr/lib/ocaml/3.07/camlp4/camlp4o.cma": error
> while linking /usr/lib/ocaml/3.07/camlp4/camlp4o.cma.
> Reference to undefined global `Toploop'
> Preprocessor error
>
> In toplevel everything works fine, my file starts with
>
> #load "camlp4o.cma";;
> use Genlex;;

How about loading "camlp4.cma" instead of "camlp4o.cma" ?
"camlp4o.cma" should be used at toplevel.

---------------------------------------------------------------
Keisuke Nakano <ksk@mist.i.u-tokyo.ac.jp>
Department of Mathematical Engineering and Information Physics,
University of Tokyo

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Caml-list] Reference to undefined global `Toploop'
@ 2004-07-04 15:09 Luca
  2004-07-05  2:00 ` Keisuke Nakano
  0 siblings, 1 reply; 3+ messages in thread
From: Luca @ 2004-07-04 15:09 UTC (permalink / raw)
  To: caml-list

Hallo,  I just finished writing an implementation of logic resolution in
Ocaml, I always worked in toplevel but now that I tired to have a
standalone executable I get the following error


# ocamlc -pp "camlp4o" prog.ml
Error while loading "/usr/lib/ocaml/3.07/camlp4/camlp4o.cma": error
while linking /usr/lib/ocaml/3.07/camlp4/camlp4o.cma.
Reference to undefined global `Toploop'
Preprocessor error

In toplevel everything works fine, my file starts with

#load "camlp4o.cma";;
use Genlex;;

and then there is a little parser very similar to the one on the first
chapter of ocaml-reference manual.
I'm running ocaml 3.07 on a Debian ditribution of GNU/Linux.
Please anyone can help me, I spent a lot of time in writing this
program...:-(


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2004-07-05  2:00 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-07-04 15:02 [Caml-list] Reference to undefined global `Toploop' Luca
2004-07-04 15:09 Luca
2004-07-05  2:00 ` Keisuke Nakano

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).