https://gitlab.inria.fr/cado-nfs/cado-nfs
Raw File
Tip revision: 985c681e6880e2d7263aa6e17a90f4e2474490ec authored by Emmanuel Thomé on 24 April 2021, 11:57:36 UTC
Merge branch 'fb32' into 'master'
Tip revision: 985c681
Makefile
TOP:=..
.NOTPARALLEL:
# This makefile is a placeholder. Please have a look to $(TOP)/scripts/call_cmake.sh,
# and (possibly) edit a file $(TOP)/local.sh to tweak your build preferences.
all: ; +@$(TOP)/scripts/call_cmake.sh $@
%: ; +@$(TOP)/scripts/call_cmake.sh $@
back to top