coq/test-suite/coq-makefile/native2, branch master
The formal proof system
[CI] Update coq_makefile
2020-11-20T18:08:08+00:00
Pierre Roux
2020-11-13T11:03:19+00:00
146415fb624c182493d46413d738a3c2c3f47e02
Ignore -native-compiler option when disabled
2020-04-15T14:38:24+00:00
Pierre Roux
2020-04-10T15:49:03+00:00
88b1f400ef05142a1f05cd7dcb34a4c682b7ab83
Document coq_makefile behavior wrt -native-compiler yes
2020-03-16T10:43:43+00:00
Pierre Roux
2020-03-12T21:47:03+00:00
57bc1b7921da4ae54ee5d3b999351f297556fd65