From 1e696cd276931081d0bfec92f45a9ac023facd98 Mon Sep 17 00:00:00 2001
From: gautier.hattenberger
Date: Fri, 20 Jan 2017 12:27:48 +0000
Subject: fix Makefile to install tkivy

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index d19a968..b61c3b1 100644
--- a/Makefile
+++ b/Makefile
@@ -92,7 +92,7 @@ TKIVYCMX= $(TKIVY:.ml=.cmx)
 
 IVYLIBS = ivy-ocaml.cma ivy-ocaml.cmxa
 GLIBIVYLIBS = glibivy-ocaml.cma glibivy-ocaml.cmxa
-TKLIBS = tkivy-ocaml.cma tkivy-ocaml.cmxa
+TKIVYLIBS = tkivy-ocaml.cma tkivy-ocaml.cmxa
 
 IVYSTATIC = libivy-ocaml.a ivy-ocaml.a
 GLIBIVYSTATIC = libglibivy-ocaml.a glibivy-ocaml.a
@@ -101,14 +101,14 @@ LIBS = ivy-ocaml.cma glibivy-ocaml.cma
 XLIBS = ivy-ocaml.cmxa glibivy-ocaml.cmxa
 
 
-all : $(LIBS) $(XLIBS) $(TKLIBS)
+all : $(LIBS) $(XLIBS) $(TKIVYLIBS)
 
 deb :
 	dpkg-buildpackage -rfakeroot
 
 ivy : $(IVYLIBS)
 glibivy : $(GLIBIVYLIBS)
-tkivy : $(TKLIBS)
+tkivy : $(TKIVYLIBS)
 
 IVY_ALL_LIBS = $(IVYLIBS) $(IVYSTATIC) dllivy-ocaml.so
 GLIBIVY_ALL_LIBS = $(GLIBIVYLIBS) $(GLIBIVYSTATIC) dllglibivy-ocaml.so
-- 
cgit v1.1