2022-09-28 05:05:16 +00:00
|
|
|
.PHONY: clean
|
|
|
|
|
|
|
|
|
|
default: calc
|
|
|
|
|
|
2022-10-01 02:22:54 +00:00
|
|
|
clean: clean-agda clean-typescript
|
2022-09-28 05:05:16 +00:00
|
|
|
|
2022-10-01 02:22:54 +00:00
|
|
|
clean-agda:
|
|
|
|
|
rm -rfv agda/MAlonzo/
|
|
|
|
|
rm -v agda/Calc
|
|
|
|
|
|
|
|
|
|
clean-typescript:
|
|
|
|
|
rm -rfv typescript/node_modules
|
|
|
|
|
rm -rfv typescript/out
|
|
|
|
|
|
|
|
|
|
build-agda:
|
2022-09-28 23:04:00 +00:00
|
|
|
agda -c Calc.agda
|
|
|
|
|
|
2022-10-01 02:22:54 +00:00
|
|
|
build-typescript:
|
|
|
|
|
( \
|
|
|
|
|
cd typescript; \
|
|
|
|
|
$$(npm bin)/tsc \
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
Calc: build-agda
|
|
|
|
|
|
|
|
|
|
typescript/out/index.js: build-typescript
|
