summaryrefslogtreecommitdiff
path: root/config/Makefile.mingw64
diff options
context:
space:
mode:
authorXavier Clerc <xavier.clerc@inria.fr>2013-09-09 09:32:00 +0000
committerXavier Clerc <xavier.clerc@inria.fr>2013-09-09 09:32:00 +0000
commite82104a755463d481667650ba4f00de535048f39 (patch)
tree054c7de9b2992be063de2dd22b56ee5993d5a374 /config/Makefile.mingw64
parent83ca86dd2309914aa458bc25fd265f0bcadaa337 (diff)
downloadocaml-e82104a755463d481667650ba4f00de535048f39.tar.gz
Remove labltk from the distribution (will be available as a third-party library).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/Makefile.mingw64')
-rw-r--r--config/Makefile.mingw644
1 files changed, 0 insertions, 4 deletions
diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64
index ec128fe4aa..71f74040cb 100644
--- a/config/Makefile.mingw64
+++ b/config/Makefile.mingw64
@@ -164,10 +164,6 @@ OTHERLIBRARIES=win32unix str num win32graph dynlink bigarray systhreads
BNG_ARCH=amd64
BNG_ASM_LEVEL=1
-### Configuration for LablTk (not supported)
-TK_DEFS=
-TK_LINK=
-
############# Aliases for common commands
MAKEREC=$(MAKE) -f Makefile.nt