ligo/makefile

install:
	./install.sh

build-deps:
	./build-deps.sh

build: build-deps
	./build.sh

test: build
	dune build @ligo-test
Change directory of make files 2019-06-01 09:32:23 +04:00			`install:`
			`./install.sh`

			`build-deps:`
			`./build-deps.sh`

			`build: build-deps`
Undo addition of source command to makefile build-deps 2019-06-01 13:06:44 +04:00			`./build.sh`
Change directory of make files 2019-06-01 09:32:23 +04:00
			`test: build`
			`dune build @ligo-test`