diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-07 18:08:47 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-07 18:08:47 +0100 |
commit | 28660d64baba3f3dfc510053f9f1e8e45c62a881 (patch) | |
tree | a3bb443b1de168685556b3e75ca3a937e157bfd7 | |
parent | 755530c359f870227a000d450dcb64f52c194c63 (diff) | |
download | compcert-kvx-28660d64baba3f3dfc510053f9f1e8e45c62a881.tar.gz compcert-kvx-28660d64baba3f3dfc510053f9f1e8e45c62a881.zip |
do not compile picosat on kvx
-rw-r--r-- | test/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 2dd104d3..a846e93b 100644 --- a/test/Makefile +++ b/test/Makefile @@ -13,9 +13,10 @@ endif all: set -e; for i in $(DIRS); do $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $$i all; done +ifneq ($(ARCH),kvx) cd $(PICOSAT) && ./configure.sh && cd .. $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $(PICOSAT) -f Makefile.local all - +endif test: set -e; for i in $(DIRS); do $(MAKE) SIMU='$(SIMU)' -C $$i test; done |