diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-05-24 13:07:06 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-05-24 13:07:06 +0200 |
commit | 9a236b4f854bf59be80148db94344347dab27a42 (patch) | |
tree | 73904825dd4c1920550c880ca799bbd5e9d460cd /checker | |
parent | 6622bc2a735dc8c3b33bd5c149860bbdb339e1a0 (diff) | |
parent | 3bf8320cb8614db81c366c9fb0bdea367e81441a (diff) |
Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions