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.98	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.97	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.96	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.95	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.94	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.93	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.92	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.91	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.90	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.89	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.88	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.87	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.86	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.85	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.84	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.83	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.82	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.81	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.80	tracks/idris/exercises/hello-world/Makefile
trackler-2.2.1.79	tracks/idris/exercises/hello-world/Makefile