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

Version	Path
trackler-2.2.1.119	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.118	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.117	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.116	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.115	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.114	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.113	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.111	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.110	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.109	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.108	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.107	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.106	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.105	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.104	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.103	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.102	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.101	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.100	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.99	tracks/idris/exercises/hello-world/Makefile