diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-02-27 10:09:42 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-02-27 10:09:42 +0000 |
| commit | 95e19ae5b505be9832bee180bae0498a4454cd3c (patch) | |
| tree | da0441f346a52499c02cc65cc0db6005c400d134 /otherlibs/labltk | |
| parent | 0f0fd99ae2eb7fdc570161725ea8a5001225d651 (diff) | |
installe les .cmx
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk')
| -rw-r--r-- | otherlibs/labltk/jpf/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/lib/Makefile | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/otherlibs/labltk/jpf/Makefile b/otherlibs/labltk/jpf/Makefile index b06e9b563..1286c177b 100644 --- a/otherlibs/labltk/jpf/Makefile +++ b/otherlibs/labltk/jpf/Makefile @@ -24,7 +24,7 @@ install: libjpf.cma cp $(OBJS:.cmo=.cmi) $(OBJS:.cmo=.mli) libjpf.cma $(LABLTKDIR) installopt: libjpf.cmxa - cp libjpf.cmxa libjpf.a $(LABLTKDIR) + cp libjpf.cmxa libjpf.a $(OBJS:.cmo=.cmx) $(LABLTKDIR) clean: rm -f *.cm* *.o *.a *~ *test diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 4c22fed75..f56794c4a 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -43,7 +43,8 @@ clean : install: labltk.cma labltktop$(EXE) labltk @if test -d $(LABLTKDIR); then : ; else mkdir $(LABLTKDIR); fi - cp *.cmi labltk.cma labltktop$(EXE) $(LABLTKDIR) + cp $(WIDGETOBJS:.cmo=.cmi) tk.cmi $(LABLTKDIR) + cp labltk.cma labltktop$(EXE) $(LABLTKDIR) chmod 644 $(LABLTKDIR)/*.cmi chmod 644 $(LABLTKDIR)/labltk.cma chmod 755 $(LABLTKDIR)/labltktop$(EXE) @@ -54,7 +55,9 @@ install: labltk.cma labltktop$(EXE) labltk installopt: labltk.cmxa @if test -d $(LABLTKDIR); then : ; else mkdir $(LABLTKDIR); fi + cp $(SUPPORTX) $(WIDGETOBJSX) tk.cmx $(LABLTKDIR) cp labltk.cmxa labltk.a $(LABLTKDIR) + chmod 644 $(LABLTKDIR)/*.cmx chmod 644 $(LABLTKDIR)/labltk.cmxa chmod 644 $(LABLTKDIR)/labltk.a @if test -d $(BINDIR); then : ; else mkdir $(BINDIR); fi |