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