Revision 597e4d5f9abb471fd0ac9f3d5bdcc22be2daa91e authored by Jonathan Protzenko on 11 December 2019, 14:58:39 UTC, committed by Jonathan Protzenko on 11 December 2019, 14:58:39 UTC
1 parent c8cd208
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
Computing file changes ...