maximedenes/native-coq — Issue #4: Separate cmxs incompatible with makefiles
Author: maximedenes
Created: 2011-12-14 13:09:54+00:00
State: open

If we want developments using native compilation to be compatible with regular makefiles, we should store the compiled code in vo files.