diff --git a/otherlibs/raw_spacetime_lib/dune b/otherlibs/raw_spacetime_lib/dune deleted file mode 100644 index 1272b51e5d4..00000000000 --- a/otherlibs/raw_spacetime_lib/dune +++ /dev/null @@ -1,48 +0,0 @@ -;************************************************************************** -;* * -;* OCaml * -;* * -;* Mark Shinwell, Jane Street Europe * -;* * -;* Copyright 2020 Jane Street Group LLC * -;* * -;* 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. * -;* * -;************************************************************************** - -(library - (name raw_spacetime_lib) - (wrapped false) - (modes byte native) - (flags ( - -nostdlib -strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48 - -warn-error A -bin-annot -safe-string -strict-formats - )) - (library_flags (:standard -linkall)) - (foreign_stubs - (language c) - (names spacetime_offline) - (flags -I %{project_root}/ocaml/runtime)) - (libraries stdlib)) - -(install - (files - .raw_spacetime_lib.objs/native/raw_spacetime_lib.cmx - raw_spacetime_lib.cmxa - raw_spacetime_lib.a - raw_spacetime_lib.cmxs - raw_spacetime_lib.cma - raw_spacetime_lib.mli - - libraw_spacetime_lib_stubs.a - libraw_spacetime_lib_stubs_native.a - (dllraw_spacetime_lib_stubs.so as - stublibs/dllraw_spacetime_lib_stubs.so) - - .raw_spacetime_lib.objs/byte/raw_spacetime_lib.cmi - .raw_spacetime_lib.objs/byte/raw_spacetime_lib.cmti - ) - (section lib) - (package ocaml))