[Demexp-dev] Compilation problem with CDuce-0.3.0

[Thomas Petazzoni]

Hello,

I know this is not the cduce mailing list, but I wanted to know if other
people tried to compile the new CDuce 0.3.0. On my system, the
compilation fails at the "make install" stage :

address@hidden:/tmp/cduce-0.3.0$ make install
[...]
Install binaries
install: cannot stat `cduce_mktop': No such file or directory
make: *** [install_bin] Error 1

For information, the configure line I'm using is :

./configure --prefix=/tmp/poeut/ --with-pxp_wlex --with-netclient
--mliface=/usr/lib/ocaml/3.08/compiler-libs/

Did you face the same problem ?

Sincerly,

Thomas
--
PETAZZONI Thomas - address@hidden
http://thomas.enix.org - Jabber: address@hidden
KOS: http://kos.enix.org/ - SOS: http://sos.enix.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

signature.asc
Description: OpenPGP digital signature