Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 28660d64 authored by David Monniaux's avatar David Monniaux
Browse files

do not compile picosat on kvx

parent 755530c3
......@@ -13,9 +13,10 @@ endif
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
set -e; for i in $(DIRS); do $(MAKE) SIMU='$(SIMU)' -C $$i test; done
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment