Skip to main content

Browse the archive

Revision 1990ae634d0602ff022afc946ef66933e4e4a2dc authored by Santiago Zanella-Beguelin on 09 December 2019, 17:48:55 UTC, committed by Santiago Zanella-Beguelin on 09 December 2019, 17:50:10 UTC 
Refresh dist
1 parent ae8e182
Raw File
Makefile 
# TODO: find or write a SCons plugin that uses the jobserver offered
# by GNU Make 4.2 onwards (--jobserver-auth in MAKEFLAGS)

all:
	./run_scons.sh -j 24 --FSTAR-MY-VERSION --FSTAR-EXTRACT --FARGS='$(OTHERFLAGS)' $(VALEFLAGS)

clean:
	./run_scons.sh --clean

.PHONY: all clean
back to top