Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

Loading…

Targets #16

Merged
2 commits merged into from

2 participants

@jlouis

Makefile targets I intend to use, and other makefile helpers.

@yrashk
Owner

Why do we need src/Makefile ?

@jlouis

In principle, we don't. It is simply a convenience when you are in that dir and, rather accidentally, type 'make'.

@yrashk
Owner

Fair enough.

This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
This page is out of date. Refresh to see the latest.
Showing with 13 additions and 0 deletions.
  1. +9 −0 Makefile
  2. +4 −0 src/Makefile
View
9 Makefile
@@ -3,6 +3,15 @@ all: compile
deps:
@./rebar get-deps
+clean:
+ @./rebar clean
+
+dialyze:
+ @./rebar dialyze
+
+build-plt:
+ @./rebar build-plt
+
compile: deps
@./rebar compile
View
4 src/Makefile
@@ -0,0 +1,4 @@
+.PHONY: all
+
+all:
+ cd .. && $(MAKE)
Something went wrong with that request. Please try again.