Sha256: 22a4743e84afe6fdc88f5177fa008e1018a1d08470afe9aa681c1320c5d85c3b
Contents?: true
Size: 328 Bytes
Versions: 290
Compression:
Stored size: 328 Bytes
Contents
idris ?= idris
pkg := Hamming
.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