Skip to main content

Browse the archive

Revision 5813de5a51287e4af8ba2a85fa68a2afcd4e21e5 authored by Gabriel Scherer on 08 May 2016, 13:29:25 UTC, committed by Roberto Di Cosmo on 12 May 2016, 08:08:39 UTC 
Makefile: also install .cmx files
 
Since 4.03 (really for flambda), the native compiler is sensibly more
sensitive to the presence of .cmx files. There is now a warning if the
.cmx for a module is absent, unless its interface (.cmi) has been
compiled with -opaque.
1 parent e550505
Raw File
INSTALL 
To install this program, just type

./configure; make; make install

To uninstall, type

make uninstall

To compile from git, do this first :

aclocal -I m4
autoconf
autoheader
./configure
make
back to top