[prev in list] [next in list] [prev in thread] [next in thread]
List: ocaml-pxp-users
Subject: Re: [Ocaml-pxp-users] Error installing pxp
From: Gerd Stolpmann <info () gerd-stolpmann ! de>
Date: 2007-01-17 10:38:03
Message-ID: 1169030284.6906.13.camel () localhost ! localdomain
[Download RAW message or body]
Am Dienstag, den 16.01.2007, 15:42 -0800 schrieb Jules Hernandez:
> Hi!
>
> I'm new to OCAML. While trying to install PXP, i got the following
> errors:
>
> Entering directory `/home/jules/Desktop/pxp-1.1.6/src/pxp-engine'
> ocamlfind ocamlc -g -package "netstring" -c pxp_types.mli
> File "pxp_types.mli", line 126, characters 16-38:
> Unbound type constructor Netconversion.encoding
Hello Jules,
can you please do
ls `ocamlfind query netstring`
? Looks like the netstring library was not properly installed.
> make[2]: *** [pxp_types.cmi] Error 2
> make[2]: Leaving directory
> `/home/jules/Desktop/pxp-1.1.6/src/pxp-engine'
> make[1]: *** [all] Error 2
> make[1]: Leaving directory
> `/home/jules/Desktop/pxp-1.1.6/src/pxp-engine'
> make: *** [all] Error 2
>
> When I tried running configure on an application
Which one?
> that has PXP as a requirement, the following error is returned:
>
> Checking for PXP...ERROR: unable to find pxp_aux.cmi
> in /usr/local/lib/ocaml/3.09.1/pxp-engine
>
> I looked for pxp_aux.cmi in the pxp-engine directory but it's not
> there.
This file exists only after PXP has been built (cmi files are created by
the ocaml compiler).
> Any assistance on this matter will be highly appreciated.
No problem.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
_______________________________________________
Ocaml-pxp-users mailing list
Ocaml-pxp-users@orcaware.com
http://www.orcaware.com/mailman/listinfo/ocaml-pxp-users
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic