2022-05-01 11:11:13 -04:00
|
|
|
all: test
|
|
|
|
|
|
|
|
|
|
.PHONY: lib
|
|
|
|
|
lib:
|
2022-05-01 20:41:00 -04:00
|
|
|
$(MAKE) -C .. lib
|
2022-05-01 11:11:13 -04:00
|
|
|
|
|
|
|
|
depends/quox: lib
|
|
|
|
|
mkdir -p depends
|
|
|
|
|
ln -sf ../../build/ttc depends/quox
|
|
|
|
|
|
|
|
|
|
.PHONY: test
|
|
|
|
|
exe: depends/quox
|
|
|
|
|
idris2 --build quox-exe.ipkg
|
|
|
|
|
|
|
|
|
|
.PHONY: clean
|
|
|
|
|
clean:
|
2022-05-01 20:41:00 -04:00
|
|
|
$(RM) -r build depends
|
