agda2lambox/Makefile at master · agda/agda2lambox · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
.PHONY: default build install coq gen run html clean

default: build

build:
	cabal build

install:
	cabal install --overwrite-policy=always

test: test/Tests.agda

test/Tests.agda: test/Main.hs test/agda2lambox-tests.agda-lib test/untyped/*.agda test/typed/*.agda test/agda2rust/*.agda
	cabal test

coq:
	coq_makefile -f _CoqProject -o CoqMakefile
	make -f CoqMakefile

gen: test
	make -C test gen

run: coq test
	make -C test run

html: coq test
	make -C test html

clean:
	rm -rf test/Tests.agda test/dist/
	make -C test clean

%.ast:
	agda2lambox -o build test/$*.agda

%.wasm: %.ast
	peregrine wasm -o demo/$@ build/$*.ast

%.elm: %.typed
	peregrine elm -o demo/$@ build/$*.ast

%.rs: %.typed
	peregrine rust -o demo/$@ build/$*.ast

%.v:
	agda2lambox -o build --rocq test/$*.agda

%.typed:
	agda2lambox -o build --typed --no-blocks test/$*.agda