Hi, I don't who to send this email so I send it to this list (I apologize if it is not the good place) :)
There is a problem in lib/Makefile (in godi-bin-prot-1.0.7), write_ml.mlneed to be before unsafe_read.ml to compile properly. So changing that, I can compile it when I am in the lib directory, but I don't know how to make godi become happy with it and finish properly the installation. Any help ? Cheers, Thomas
_______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
