Skip to content

Commit

Permalink
fix symlink build issue
Browse files Browse the repository at this point in the history
  • Loading branch information
rvantonder committed Jun 23, 2021
1 parent e18d141 commit 3c2275e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 7 deletions.
8 changes: 2 additions & 6 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
all: build

build:
@rm -rf comby
@dune build --profile dev
@ln -sfn _build/install/default/bin/comby comby

Expand All @@ -16,10 +15,6 @@ release:
byte:
@dune build src/main.bc

# Uncomment this when dune is fixed: https://github.com/ocaml/dune/issues/4258
# comby:
# @ln -s _build/install/default/bin/$@ ./$@

install:
@dune install

Expand All @@ -34,6 +29,7 @@ coverage:

clean:
@dune clean
@rm -rf comby

uninstall:
@dune uninstall
Expand All @@ -44,4 +40,4 @@ promote:
docker-test-build:
docker build -t comby-local-test-build .

.PHONY: all build build-with-coverage release install doc test coverage clean uninstall promote docker-test-build comby
.PHONY: all build build-with-coverage release install doc test coverage clean uninstall promote docker-test-build
1 change: 0 additions & 1 deletion comby

This file was deleted.

0 comments on commit 3c2275e

Please sign in to comment.