diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-10-15 09:25:52 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-10-15 09:25:52 +0100 |
| commit | 6c9cc975a5715f186c00e487c4ed38a221711651 (patch) | |
| tree | a1255876fd7acc6faededaf18e87c14ec207fec6 /Makefile | |
| parent | ed8336189707bd1575de3cfffa730a2594086a33 (diff) | |
| download | vericert-6c9cc975a5715f186c00e487c4ed38a221711651.tar.gz vericert-6c9cc975a5715f186c00e487c4ed38a221711651.zip | |
Add HTLBlockgen and more scheduling
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -38,6 +38,7 @@ lib/COMPCERTSTAMP: install: install -d $(PREFIX)/bin + sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini install -C _build/default/driver/compcert.ini $(PREFIX)/bin/. install -C _build/default/driver/VericertDriver.exe $(PREFIX)/bin/vericert |