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 /theories | |
| 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 'theories')
0 files changed, 0 insertions, 0 deletions