(***********************************************************************) (* *) (* TAToo *) (* *) (* Kim Nguyen, LRI UMR8623 *) (* Université Paris-Sud & CNRS *) (* *) (* Copyright 2010-2013 Université Paris-Sud and Centre National de la *) (* Recherche Scientifique. All rights reserved. This file is *) (* distributed under the terms of the GNU Lesser General Public *) (* License, with the special exception on linking described in file *) (* ../LICENSE. *) (* *) (***********************************************************************) (* Time-stamp: *) let ocaml_inline = "1000";; let include_path = "include";; let src_path = "src";; let ocaml_link = [ ];; let ocamlfind_packages = "unix,ulex,expat,camlp4,camlp4.lib,camlp4.macro";; let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-O3" ];; let main_targets = [ "native","src/main.native"; "byte", "src/main.byte" ];; let cstub_lib = [ ];; let cxx_cmd = "g++";; let cxx_includes = [ ] let cxx_lpaths = [ ] let cxx_libs = [ ];; let cxx_libs_objects = [];;