+++ /dev/null
-(***********************************************************************)
-(* *)
-(* 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: <Last modified on 2013-01-30 19:10:05 CET by Kim Nguyen>
-*)
-
-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 = [];;