2023-12-17 12:57:26 +01:00
|
|
|
all: build
|
|
|
|
|
|
|
|
build:
|
|
|
|
spago build
|
2023-12-31 16:03:39 +01:00
|
|
|
|
|
|
|
run:
|
|
|
|
spago run
|
2024-01-19 02:03:32 +01:00
|
|
|
|
2024-01-19 02:27:11 +01:00
|
|
|
t:
|
2024-01-19 02:03:32 +01:00
|
|
|
spago test
|
2024-01-19 15:08:52 +01:00
|
|
|
|
|
|
|
docs:
|
|
|
|
spago docs
|
|
|
|
|
|
|
|
DOCS_HTTPD_ACCESS_LOGS ?= /tmp/parser-docs-access.log
|
|
|
|
DOCS_HTTPD_ADDR ?= 127.0.0.1
|
|
|
|
DOCS_HTTPD_PORT ?= 30000
|
|
|
|
DOCS_DIR ?= generated-docs/html
|
|
|
|
serve-docs: docs
|
|
|
|
darkhttpd $(DOCS_DIR) --addr $(DOCS_HTTPD_ADDR) --port $(DOCS_HTTPD_PORT) --log $(DOCS_HTTPD_ACCESS_LOGS)
|