Skip to content
Snippets Groups Projects
Commit 27d9154a authored by Ralf Jung's avatar Ralf Jung
Browse files

fix Makefile

parent b419fc70
No related branches found
No related tags found
No related merge requests found
...@@ -36,7 +36,7 @@ build-dep: build-dep/opam phony ...@@ -36,7 +36,7 @@ build-dep: build-dep/opam phony
@BUILD_DEP_PACKAGE="$$(egrep "^name:" build-dep/opam | sed 's/^name: *"\(.*\)" */\1/')"; \ @BUILD_DEP_PACKAGE="$$(egrep "^name:" build-dep/opam | sed 's/^name: *"\(.*\)" */\1/')"; \
echo "# Pinning build-dep package." && \ echo "# Pinning build-dep package." && \
opam pin add -k path $(OPAMFLAGS) "$$BUILD_DEP_PACKAGE".dev build-dep && \ opam pin add -k path $(OPAMFLAGS) "$$BUILD_DEP_PACKAGE".dev build-dep && \
(! opam --version | grep "^1\.") || ( \ (! opam --version | grep "^1\." > /dev/null) || ( \
echo "# Reinstalling build-dep package." && \ echo "# Reinstalling build-dep package." && \
opam reinstall $(OPAMFLAGS) "$$BUILD_DEP_PACKAGE" \ opam reinstall $(OPAMFLAGS) "$$BUILD_DEP_PACKAGE" \
) )
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment