mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-21 10:18:23 +03:00
941c8b1ab5
We also need to separate building the runtests binary from running the tests, because runtests refers to the boostrap libraries, and the tests refer to the newly built libraries. This worked locally, using inconsistent TTC versions for the bootstrap version and new version, but let's see what it does on a clean machine
19 lines
430 B
Makefile
19 lines
430 B
Makefile
INTERACTIVE ?= --interactive
|
|
|
|
.PHONY: testbin test
|
|
|
|
test:
|
|
./build/exec/runtests $(IDRIS2) $(INTERACTIVE) --only $(only)
|
|
|
|
testbin: build/exec/runtests
|
|
|
|
build/exec/runtests:
|
|
${IDRIS2_BOOT} --build tests.ipkg
|
|
|
|
clean:
|
|
$(RM) -r build
|
|
@find . -type f -name 'output' -exec rm -rf {} \;
|
|
@find . -type f -name '*.ttc' -exec rm -f {} \;
|
|
@find . -type f -name '*.ttm' -exec rm -f {} \;
|
|
@find . -type f -name '*.ibc' -exec rm -f {} \;
|