Sha256: 8826bddafce91816eeec7a9a458e56b1bb559a1a9bc739c6af9dcbdd192fd211
Contents?: true
Size: 333 Bytes
Versions: 290
Compression:
Stored size: 333 Bytes
Contents
idris ?= idris
pkg := {{exercise}}
.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