diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:34:17 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:34:17 +0100 |
| commit | 22cd0a61ed10bfb2f98063093337935f65eb3493 (patch) | |
| tree | 875f825ee7623571b805ee47d5edc5c8001ba019 | |
| parent | 1a2e00313fc660dee10148cbdf8a8dca7702642b (diff) | |
| download | vericert-22cd0a61ed10bfb2f98063093337935f65eb3493.tar.gz vericert-22cd0a61ed10bfb2f98063093337935f65eb3493.zip | |
Add build flag for BSD architecture
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5,6 +5,9 @@ endif ifeq ($(UNAME_S),Darwin) ARCH := verilog-macosx endif +ifeq ($(UNAME_S),FreeBSD) + ARCH := verilog-bsd +endif COMPCERTRECDIRS := lib common verilog backend cfrontend driver cparser |