diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2010-04-22 15:41:16 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2010-04-22 15:41:16 +0000 |
commit | 27780d9f8a6812ac8d79c80565ebd5d991db8f65 (patch) | |
tree | 85cb5a7b39b3fabb76cbe585308b18339381232b /build | |
parent | 8e5b81144b0afc023252e87c98857ac098b55612 (diff) | |
download | ocaml-27780d9f8a6812ac8d79c80565ebd5d991db8f65.tar.gz |
fixed several build problems
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'build')
-rwxr-xr-x | build/install.sh | 7 | ||||
-rw-r--r-- | build/otherlibs-targets.sh | 2 |
2 files changed, 0 insertions, 9 deletions
diff --git a/build/install.sh b/build/install.sh index 2197069c5b..1a60a87ecc 100755 --- a/build/install.sh +++ b/build/install.sh @@ -344,10 +344,6 @@ installdir \ otherlibs/labltk/lib/labltk.cma \ otherlibs/labltk/lib/labltk.cmxa \ otherlibs/labltk/lib/labltk.cmx \ - otherlibs/labltk/tkanim/*.mli \ - otherlibs/labltk/tkanim/*.cmi \ - otherlibs/labltk/tkanim/tkanim.cma \ - otherlibs/labltk/tkanim/tkanim.cmxa \ otherlibs/labltk/compiler/tkcompiler \ $LIBDIR/labltk @@ -376,7 +372,6 @@ installdir \ otherlibs/"$WIN32"unix/dllunix$EXT_DLL \ otherlibs/threads/dllvmthreads$EXT_DLL \ otherlibs/labltk/support/dlllabltk$EXT_DLL \ - otherlibs/labltk/tkanim/dlltkanim$EXT_DLL \ $STUBLIBDIR installlibdir \ @@ -403,8 +398,6 @@ installlibdir \ otherlibs/labltk/support/liblabltk.$A \ otherlibs/labltk/lib/labltk.$A \ otherlibs/labltk/jpf/jpflib.$A \ - otherlibs/labltk/tkanim/libtkanim.$A \ - otherlibs/labltk/tkanim/tkanim.$A \ otherlibs/labltk/frx/frxlib.$A \ $LIBDIR/labltk diff --git a/build/otherlibs-targets.sh b/build/otherlibs-targets.sh index 1998042435..301b75f191 100644 --- a/build/otherlibs-targets.sh +++ b/build/otherlibs-targets.sh @@ -101,8 +101,6 @@ for lib in $OTHERLIBRARIES; do add_byte lib/labltktop$EXE lib/labltk$EXE add_ocaml_lib jpf/jpflib add_ocaml_lib frx/frxlib - add_ocaml_lib tkanim/tkanim - add_file tkanim/libtkanim.$A add_byte browser/ocamlbrowser$EXE ;; dbm) |