diff options
author | Benjamin Barenblat <bbaren@google.com> | 2019-02-13 21:08:16 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 16:45:25 -0500 |
commit | d10b86dc97e91ceb15134cc190d6f647a7c3d640 (patch) | |
tree | a3b392da3971639beb3b1ee3eceb9406e8148cab /LICENSE | |
parent | ac180116ee6094d9baf5f0fc0965a377e9560504 (diff) |
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.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions