diff options
Diffstat (limited to 'otherlibs/labltk/labltkopt.in')
| -rw-r--r-- | otherlibs/labltk/labltkopt.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/otherlibs/labltk/labltkopt.in b/otherlibs/labltk/labltkopt.in new file mode 100644 index 000000000..d17e6e43d --- /dev/null +++ b/otherlibs/labltk/labltkopt.in @@ -0,0 +1,8 @@ +#!/bin/sh + +# links with the tcl, tk and X11 libraries + +exec ocamlopt -I @INSTALLDIR@ tk41.cmxa $* \ + -cclib "-L@INSTALLDIR@ -llabltk41" \ + -cclib "@LDFLAGS@ @LIBS@" \ + -cclib "@X_LIBS@ @THE_X_LIBS@" |