aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgautier.hattenberger2017-01-20 12:27:48 +0000
committergautier.hattenberger2017-01-20 12:27:48 +0000
commit1e696cd276931081d0bfec92f45a9ac023facd98 (patch)
tree5be10046493ac16690fc3effa5b3a1b25ff5ffbc
parent6c9b4d4ebe4bba64575fa80f3462ca6e169bd5db (diff)
downloadivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.zip
ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.gz
ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.bz2
ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.xz
fix Makefile to install tkivy
-rw-r--r--Makefile6
1 files 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