https://gitlab.inria.fr/cado-nfs/cado-nfs
Raw File
Tip revision: c0aa8270c4c2f39796d57bb6b07e87e60c9560f5 authored by Emmanuel Thomé on 05 February 2021, 19:57:00 UTC
Merge remote-tracking branch 'origin/shrink-double' into use-relation-cache
Tip revision: c0aa827
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