diff options
Diffstat (limited to 'testsuite/tests/lib-num/Makefile')
| -rw-r--r-- | testsuite/tests/lib-num/Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/testsuite/tests/lib-num/Makefile b/testsuite/tests/lib-num/Makefile deleted file mode 100644 index 14f0d2c1a8..0000000000 --- a/testsuite/tests/lib-num/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -#************************************************************************** -#* * -#* OCaml * -#* * -#* Xavier Clerc, SED, INRIA Rocquencourt * -#* * -#* Copyright 2010 Institut National de Recherche en Informatique et * -#* en Automatique. * -#* * -#* All rights reserved. This file is distributed under the terms of * -#* the GNU Lesser General Public License version 2.1, with the * -#* special exception on linking described in the file LICENSE. * -#* * -#************************************************************************** - -BASEDIR=../.. -MODULES=test test_nats test_big_ints test_ratios test_nums test_io -MAIN_MODULE=end_test -LIBRARIES=nums -ADD_COMPFLAGS=-w a -I $(OTOPDIR)/otherlibs/num -LD_PATH=$(TOPDIR)/otherlibs/num - -include $(BASEDIR)/makefiles/Makefile.one -include $(BASEDIR)/makefiles/Makefile.common |
