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
.gitignore 
log*
*~
_build
Makefile
config.h
config.log
config.status
back to top