Revision 24c08164d77838bb4e1fb0f5be98071fe4637b5a authored by Aymeric Fromherz on 01 April 2019, 18:15:46 UTC, committed by Aymeric Fromherz on 01 April 2019, 18:15:46 UTC
1 parent 8343751
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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...