You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
all: compile docs check |
|
|
|
compile: |
|
raco make -l goblins |
|
|
|
test: check |
|
|
|
check: |
|
raco test goblins |
|
|
|
clean: |
|
find goblins -name compiled | xargs rm -rf |
|
rm -rf goblins/doc |
|
|
|
doc: docs |
|
|
|
docs: |
|
scribble --dest goblins/doc +m --htmls goblins/scribblings/goblins.scrbl
|
|
|
