Commit 3cb0ff15 authored by Francois Bobot's avatar Francois Bobot

Pour compiler les plugins

parent 357c21dd
......@@ -213,6 +213,7 @@ BENCH_PLUGINS_CMO := $(addprefix bench/plugins/,$(BENCH_PLUGINS_CMO))
BENCH_PLUGINS_CMXS := $(BENCH_PLUGINS_CMO:.cmo=.cmxs)
bench_plugins:: $(BENCH_PLUGINS_CMO) $(BENCH_PLUGINS_CMXS) $(BINARY) byte
bin/why.$(OCAMLBEST) --driver bench/plugins/helloworld.drv -I lib/prelude/ \
--output - --goal Test.G src/test.why
......@@ -399,8 +400,8 @@ apidoc: $(OCAMLDOCSRC)
.ml.cmx:
$(if $(QUIET),@echo 'Ocamlopt $<' &&) $(OCAMLOPT) $(APRONLIB) $(ATPLIB) -c $(OFLAGS) $<
.ml.cmxs:
$(if $(QUIET),@echo 'Ocamlopt $<' &&) $(OCAMLOPT) $(APRONLIB) $(ATPLIB) -shared $(OFLAGS) -o $@ $<
.ml.cmxs: $*.cmo
$(if $(QUIET),@echo 'Ocamlopt $<' &&) $(OCAMLOPT) -shared $(INCLUDES) -o $@ $<
.mll.ml:
$(OCAMLLEX) $<
......
let print_context _ fmt _ = Format.fprintf fmt "helloworld"
let print_context _ fmt _ = Format.fprintf fmt "helloworld@\n"
let transform_context () = Transform.identity
......
......@@ -154,11 +154,11 @@ let (printers : (string, printer) Hashtbl.t) = Hashtbl.create 17
let register_printer name printer = Hashtbl.replace printers name printer
(*
let () =
Dynlink.allow_only ["Theory";"Term";"Ident";"Transform";"Driver";
"Pervasives";"Format";"List";"Sys";"Unix"]
*)
let load_plugin dir (byte,nat) =
let file = if Dynlink.is_native then nat else byte in
......
......@@ -59,27 +59,6 @@ val elt : (decl -> decl list) -> context t
(** Utils *)
(*type odecl =
| Otype of ty_decl
| Ologic of logic_decl
| Oprop of prop_decl
| Ouse of theory
| Oclone of (ident * ident) list
*)
(*
val elt_of_oelt :
ty:(ty_decl -> ty_decl) ->
logic:(logic_decl -> logic_decl) ->
ind:(ind_decl list -> decl list) ->
prop:(prop_decl -> decl list) ->
use:(theory -> decl list) ->
clone:(theory -> (ident * ident) list -> decl list) ->
(decl -> decl list)
val fold_context_of_decl:
(context -> 'a -> decl -> 'a * decl list) ->
context -> 'a -> context -> decl -> ('a * context)
*)
(* Utils *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment