Merge pull request #94 from getong/delete_rebar3

Delete rebar3

Author: cmeiklejohn

.travis.yml

@@ -5,15 +5,16 @@ otp_release:
   - 19.3
   - 18.3
 install:
-  - make
+  - wget https://s3.amazonaws.com/rebar3/rebar3 && chmod u+x rebar3
+  - REBAR=./rebar3 make
   - ./rebar3 update
 script:
-  - make eunit
-  - make ct
-  - make proper
-  - make xref
-  - make dialyzer
-  - make lint
+  - REBAR=./rebar3 make eunit
+  - REBAR=./rebar3 make ct
+  - REBAR=./rebar3 make proper
+  - REBAR=./rebar3 make xref
+  - REBAR=./rebar3 make dialyzer
+  - REBAR=./rebar3 make lint
 notifications:
   email: [email protected]
   slack: lasp-lang:hiPRNnbUa3zdGrrXZfGRAF7D

Makefile

@@ -2,8 +2,8 @@ PACKAGE         ?= types
 VERSION         ?= $(shell git describe --tags)
 BASE_DIR         = $(shell pwd)
 ERLANG_BIN       = $(shell dirname $(shell which erl))
-REBAR            = $(shell pwd)/rebar3
-MAKE						 = make
+REBAR           ?= rebar3
+MAKE             = make
 
 .PHONY: rel deps test eqc plots
 

rebar.config

@@ -17,13 +17,20 @@
 
 {profiles, [
     {test, [
-        {deps, [{proper, {git, "https://github.com/proper-testing/proper", {tag, "v1.3"}}}]}
+        {deps, [{proper, "1.3.0"}]}
     ]},
     {lint,  [
         {plugins, [{rebar3_lint, "0.1.10"}]}
     ]}
 ]}.
 
+{relx, [{release, {types, "0.0.1"},
+         [types]},
+
+       {extended_start_script, true},
+       {overlay, [{mkdir, "data"}]}
+       ]}.
+
 {proper_opts, [{numtests, 1000}]}.
 
 {elvis,

rebar3

@@ -24,8 +24,8 @@
 #  wholesale when a new version of tools.mk is released.
 #  -------------------------------------------------------------------
 
-REBAR            = $(shell pwd)/rebar3
-REVISION 		    ?= $(shell git rev-parse --short HEAD)
+REBAR           ?= rebar3
+REVISION        ?= $(shell git rev-parse --short HEAD)
 PROJECT         ?= $(shell basename `find src -name "*.app.src"` .app.src)
 DEP_DIR         ?= "deps"
 EBIN_DIR        ?= "ebin"