Sha256: 498040cef6e4bf142c5eb657bf3f2b29164e2a26c9da4e3c61c04fe5972ca1a4
Contents?: true
Size: 332 Bytes
Versions: 9
Compression:
Stored size: 332 Bytes
Contents
idris ?= idris
pkg := HelloWorld
.PHONY: build clean clobber install rebuild test
all: build
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
9 entries across 9 versions & 1 rubygems