X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=myocamlbuild_config.ml;h=ef9d2e67b637dabf19aa590af47b6dff5b2d4463;hp=fef475938c45e9b25301a8a0e227804baacbe94c;hb=9c0b145d050a5981010435f54848dc862782709c;hpb=cba2938d929fd5119b1491686ddc224d5af618c6 diff --git a/myocamlbuild_config.ml b/myocamlbuild_config.ml index fef4759..ef9d2e6 100644 --- a/myocamlbuild_config.ml +++ b/myocamlbuild_config.ml @@ -1,8 +1,27 @@ +(***********************************************************************) +(* *) +(* 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";; +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" ];;