Sha256: 3c60e606ac975c5e698bb87aca3e9eab5df0f33279e159dc7b14001fd6331e70
Contents?: true
Size: 325 Bytes
Versions: 290
Compression:
Stored size: 325 Bytes
Contents
idris ?= idris
pkg := Leap
.PHONY: build clean clobber install rebuild test
all: test
build:
@ ${idris} --build ${pkg}.ipkg
clean:
@ ${idris} --clean ${pkg}.ipkg
clobber: clean
@ find . -name '*.ibc' -delete
install:
@ ${idris} --install ${pkg}.ipkg
rebuild: clean build
test:
@ ${idris} --testpkg ${pkg}.ipkg
Version data entries
290 entries across 290 versions & 1 rubygems