2024-05-10 18:33:52 +02:00
|
|
|
clean:
|
|
|
|
|
rm -rf _cache
|
|
|
|
|
rm -rf public
|
|
|
|
|
|
|
|
|
|
site:
|
|
|
|
|
cabal build --write-ghc-environment-files=always
|
|
|
|
|
|
2024-05-08 09:18:41 +02:00
|
|
|
build:
|
|
|
|
|
cabal exec site build
|
|
|
|
|
|
|
|
|
|
watch:
|
2024-05-10 18:33:52 +02:00
|
|
|
cabal exec site watch
|
|
|
|
|
|
|
|
|
|
all:
|
|
|
|
|
make clean
|
|
|
|
|
make site
|
|
|
|
|
make build
|
