diff options
Diffstat (limited to 'otherlibs/dbm/Makefile')
| -rw-r--r-- | otherlibs/dbm/Makefile | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/otherlibs/dbm/Makefile b/otherlibs/dbm/Makefile deleted file mode 100644 index dcd068adee..0000000000 --- a/otherlibs/dbm/Makefile +++ /dev/null @@ -1,32 +0,0 @@ -######################################################################### -# # -# OCaml # -# # -# Xavier Leroy, projet Cristal, INRIA Rocquencourt # -# # -# Copyright 1999 Institut National de Recherche en Informatique et # -# en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU Library General Public License, with # -# the special exception on linking described in file ../../LICENSE. # -# # -######################################################################### - -# $Id$ - -# Makefile for the ndbm library - -LIBNAME=dbm -CLIBNAME=mldbm -CAMLOBJS=dbm.cmo -COBJS=cldbm.o -EXTRACFLAGS=$(DBM_INCLUDES) -LINKOPTS=$(DBM_LINK) -LDOPTS=-ldopt "$(DBM_LINK)" - -include ../Makefile - - -depend: - ../../boot/ocamlrun ../../tools/ocamldep *.mli *.ml > .depend - -include .depend |