From b3d89ac0f258e68cab4e92aea04df81dbfccd011 Mon Sep 17 00:00:00 2001
From: Pierre-Francois Loos <pierrefrancois.loos@gmail.com>
Date: Sat, 10 Oct 2020 11:36:02 +0200
Subject: [PATCH] qcaml makefile

---
 qcaml-tools/Makefile | 2 +-
 qcaml-tools/dune     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/qcaml-tools/Makefile b/qcaml-tools/Makefile
index 7c537b9..9ee8806 100644
--- a/qcaml-tools/Makefile
+++ b/qcaml-tools/Makefile
@@ -10,7 +10,7 @@ TARGETS=quack_input \
 	dune build $@
 
 $(TARGETS): $(patsubst %, %.exe, $(TARGETS))
-	for i in $* ; do ln _build/default/$$i $${i%.exe} ; done
+	for i in $(TARGETS) ; do cp _build/default/$${i}.exe $$i ; done
 
 default: $(TARGETS)
 
diff --git a/qcaml-tools/dune b/qcaml-tools/dune
index 7bc46c7..a2a77f8 100644
--- a/qcaml-tools/dune
+++ b/qcaml-tools/dune
@@ -4,6 +4,7 @@
     quack_integrals
  )
  (libraries
+        qcaml.common
      qcaml
  )
 )