2021-05-26 12:27:03 +00:00
|
|
|
__ignored__ := $(shell ./setup.sh)
|
|
|
|
|
|
2021-05-25 12:11:33 +00:00
|
|
|
PDFS=preserves.pdf preserves-schema.pdf
|
|
|
|
|
|
|
|
|
|
all: $(PDFS)
|
|
|
|
|
|
|
|
|
|
clean:
|
|
|
|
|
rm -f $(PDFS)
|
|
|
|
|
|
|
|
|
|
%.pdf: %.md preserves.css
|
2019-08-18 16:52:11 +00:00
|
|
|
google-chrome --headless --disable-gpu --print-to-pdf=$@ \
|
2021-05-25 12:11:33 +00:00
|
|
|
http://localhost:4000/preserves/$*.html
|
2020-05-13 10:56:01 +00:00
|
|
|
|
|
|
|
|
test-all:
|
|
|
|
|
make -C tests
|
|
|
|
|
(cd implementations/javascript; npm test)
|
|
|
|
|
(cd implementations/python; make test)
|
|
|
|
|
(cd implementations/racket/preserves; make testonly)
|
|
|
|
|
(cd implementations/rust; cargo test)
|
