Skip to content
Commit d10b86dc authored by Benjamin Barenblat's avatar Benjamin Barenblat
Browse files

Ensure both bytecode and native code builds on native-code platforms 

coq_makefile from Coq 8.9 does not automatically build bytecode when
native code is available. Forcibly build both on native-code platforms.
parent ac180116
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment