aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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