diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-15 15:42:14 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-15 15:42:14 +0100 |
commit | 83023733e8ac5fa28893b260664f6d6527b481ab (patch) | |
tree | f95debbe0c1daf2ef6e8f6cbe2443215cd4ecf37 /lib/IntvSets.v | |
parent | 5aecefe808aaaad6ab05037e7d5e7f53b53e0b94 (diff) | |
download | compcert-83023733e8ac5fa28893b260664f6d6527b481ab.tar.gz compcert-83023733e8ac5fa28893b260664f6d6527b481ab.zip |
Added variable to the Makefile to specify additional linker commands and changed the configure script to deactivated the checklink build if needed.
Diffstat (limited to 'lib/IntvSets.v')
0 files changed, 0 insertions, 0 deletions