diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,7 +43,7 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config install: install -d $(PREFIX)/bin - sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini + sed -i'' -e 's/arch=verilog/arch=aarch64/' _build/default/driver/compcert.ini install -C _build/default/driver/compcert.ini $(PREFIX)/bin/. install -C _build/default/driver/VericertDriver.exe $(PREFIX)/bin/vericert-kvx |