Sha256: 163c91f4767807f3778a21350fb8e4fe53a4cd298c282c0caa8eb9f71a94f8ce
Contents?: true
Size: 331 Bytes
Versions: 290
Compression:
Stored size: 331 Bytes
Contents
idris ?= idris
pkg := HelloWorld
.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