on 307efbb help sign in
14 lines 199 B history raw
1IDRIS := idris
3build:
4 $(IDRIS) --build effects.ipkg
6clean:
7 $(IDRIS) --clean effects.ipkg
9install:
10 $(IDRIS) --install effects.ipkg
12rebuild: clean build
14.PHONY: build clean install rebuild