diff options
| author | Alain Frisch <alain@frisch.fr> | 2007-06-14 17:03:15 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2007-06-14 17:03:15 +0000 |
| commit | 37a48e316546161d6e92febef08f093d67ef4072 (patch) | |
| tree | 536757167cf8d6528d056fa98e1bdc2462c0e073 | |
| parent | 7dc1d85cb4e198f067de3a0dad617c4a16ebeef0 (diff) | |
| download | ocaml-37a48e316546161d6e92febef08f093d67ef4072.tar.gz | |
*** empty log message ***
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/natdynlink@8350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/Makefile | 4 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/Makefile.nt | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/Makefile.shared | 3 |
3 files changed, 7 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/Makefile b/otherlibs/labltk/browser/Makefile index f3b6d3011e..5eb7eefbf5 100644 --- a/otherlibs/labltk/browser/Makefile +++ b/otherlibs/labltk/browser/Makefile @@ -1,2 +1,6 @@ OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str + +dummy.mli: + cp dummyUnix.mli dummy.mli + include Makefile.shared diff --git a/otherlibs/labltk/browser/Makefile.nt b/otherlibs/labltk/browser/Makefile.nt index aff4e9a836..ec619f76f1 100644 --- a/otherlibs/labltk/browser/Makefile.nt +++ b/otherlibs/labltk/browser/Makefile.nt @@ -10,5 +10,8 @@ endif OCAMLBR=threads.cma winmain.$(O) $(WINDOWS_APP) +dummy.mli: + cp dummyWin.mli dummy.mli + include Makefile.shared diff --git a/otherlibs/labltk/browser/Makefile.shared b/otherlibs/labltk/browser/Makefile.shared index e74ef69fbb..746995716e 100644 --- a/otherlibs/labltk/browser/Makefile.shared +++ b/otherlibs/labltk/browser/Makefile.shared @@ -59,7 +59,4 @@ depend: shell.cmo: dummy.cmi setpath.cmo fileselect.cmo lexical.cmi searchid.cmi typecheck.cmi: $(TOPDIR)/toplevel/toplevellib.cma -dummy.mli: - cp dummyWin.mli dummy.mli - include .depend |