From b4bf43923e46100d3632e52861f2703bc2243de5 Mon Sep 17 00:00:00 2001 From: Tamas Gal <himself@tamasgal.com> Date: Sun, 7 Jan 2024 12:41:29 +0100 Subject: [PATCH] Update Makefile --- Makefile | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..e92b604e --- /dev/null +++ b/Makefile @@ -0,0 +1,17 @@ +build: + julia --project=. -e 'using Pkg; Pkg.instantiate(); Pkg.resolve()' + +doc: + make -C docs/ + +test: + julia --project=. -e 'using Pkg; Pkg.test()' + +clean: + rm -rf docs/build/ + +preview: + julia -e 'using LiveServer; serve(dir="docs/build")' + + +.PHONY: build doc test clean preview -- GitLab