Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 46969672 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Temporarily remove the call to [make merlin], because it fails.

(Recent versions of Dune do not generate src/.merlin any more.)
Waiting for a better patch.
parent 90b800b7
No related branches found
No related tags found
No related merge requests found
...@@ -38,9 +38,7 @@ TARGETS := src fuzz benchmark ...@@ -38,9 +38,7 @@ TARGETS := src fuzz benchmark
.PHONY: all .PHONY: all
all: all:
@ dune build $(PROFILE) $(TARGETS) ; make merlin @ dune build $(PROFILE) $(TARGETS)
# Regardless of whether compilation succeeds or fails,
# invoke [make merlin] to patch src/.merlin.
# [make setup] installs the packages that we need in whatever opam # [make setup] installs the packages that we need in whatever opam
# switch is currently active. # switch is currently active.
...@@ -52,6 +50,7 @@ setup: ...@@ -52,6 +50,7 @@ setup:
.PHONY: merlin .PHONY: merlin
merlin: merlin:
@ touch src/.merlin
# Add a preprocessing directive at the end of the FLG line. # Add a preprocessing directive at the end of the FLG line.
@ sed -i.bak '/^FLG/ s/$$/ -pp "cppo -D dev"/' src/.merlin @ sed -i.bak '/^FLG/ s/$$/ -pp "cppo -D dev"/' src/.merlin
@ rm -f src/.merlin.bak @ rm -f src/.merlin.bak
......
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