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 ?