diff options
Diffstat (limited to 'minijazz/src/myocamlbuild.ml')
| -rw-r--r-- | minijazz/src/myocamlbuild.ml | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/minijazz/src/myocamlbuild.ml b/minijazz/src/myocamlbuild.ml new file mode 100644 index 0000000..a0cf61a --- /dev/null +++ b/minijazz/src/myocamlbuild.ml @@ -0,0 +1,39 @@ +(***********************************************************************) +(* *) +(* Heptagon *) +(* *) +(* Gwenael Delaval, LIG/INRIA, UJF *) +(* Leonard Gerard, Parkas, ENS *) +(* Adrien Guatto, Parkas, ENS *) +(* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) +(* *) +(* Copyright 2012 ENS, INRIA, UJF *) +(* *) +(* This file is part of the Heptagon compiler. *) +(* *) +(* Heptagon is free software: you can redistribute it and/or modify it *) +(* under the terms of the GNU General Public License as published by *) +(* the Free Software Foundation, either version 3 of the License, or *) +(* (at your option) any later version. *) +(* *) +(* Heptagon is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU General Public License for more details. *) +(* *) +(* You should have received a copy of the GNU General Public License *) +(* along with Heptagon. If not, see <http://www.gnu.org/licenses/> *) +(* *) +(***********************************************************************) +open Ocamlbuild_plugin +open Ocamlbuild_plugin.Options +open Myocamlbuild_config + +let df = function + | Before_options -> ocamlfind_before_options () + | After_rules -> ocamlfind_after_rules (); + + | _ -> () + +let _ = dispatch df |