[Why3-club] Make why3session.xml file from command line?

Claude Marche Claude.Marche at inria.fr
Fri Nov 9 18:01:32 CET 2012


...and to be complete, this should be compiled with

   ocamlopt -o create_session -I +why3 unix.cmxa str.cmxa nums.cmxa 
dynlink.cmxa why3.cmxa create_session.ml


this assumes you installed the Why3 library, that is you made

   make install-lib

after compiling the sources




More information about the Why3-club mailing list