1
1
(* setup.ml generated for the first time by OASIS v0.4.5 *)
2
2
3
3
(* OASIS_START *)
4
- (* DO NOT EDIT (digest: 54d426ec05cbde2c72ac2ac5c6d85f14 ) *)
4
+ (* DO NOT EDIT (digest: ae394ae311e40ff27da524bdc3132b03 ) *)
5
5
(*
6
6
Regenerated by OASIS v0.4.5
7
7
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6644,7 +6644,7 @@ let setup_t =
6644
6644
findlib_version = None ;
6645
6645
alpha_features = [] ;
6646
6646
beta_features = [] ;
6647
- name = " bap-types " ;
6647
+ name = " bap-tracer " ;
6648
6648
version = " 0.1" ;
6649
6649
license =
6650
6650
OASISLicense. DEP5License
@@ -6659,7 +6659,7 @@ let setup_t =
6659
6659
maintainers = [] ;
6660
6660
authors = [" Matthew Maurer" ];
6661
6661
homepage = None ;
6662
- synopsis = " BAP Core Types " ;
6662
+ synopsis = " BAP Trace Format " ;
6663
6663
description = None ;
6664
6664
categories = [] ;
6665
6665
conf_type = (`Configure , " internal" , Some " 0.4" );
@@ -6718,7 +6718,7 @@ let setup_t =
6718
6718
];
6719
6719
bs_build_tools = [ExternalTool " ocamlbuild" ];
6720
6720
bs_c_sources = [] ;
6721
- bs_data_files = [] ;
6721
+ bs_data_files = [( " *.piqi " , None ) ];
6722
6722
bs_ccopt = [(OASISExpr. EBool true , [] )];
6723
6723
bs_cclib = [(OASISExpr. EBool true , [] )];
6724
6724
bs_dlllib = [(OASISExpr. EBool true , [] )];
@@ -6744,15 +6744,16 @@ let setup_t =
6744
6744
};
6745
6745
oasis_fn = Some " _oasis" ;
6746
6746
oasis_version = " 0.4.5" ;
6747
- oasis_digest = Some " \159 p\211\197\134 n3\222\129 7}\b\191\233\221 V" ;
6747
+ oasis_digest =
6748
+ Some " n\185 Q\019 s\025\216 R\237\200\135\237\175\179\149\177 " ;
6748
6749
oasis_exec = None ;
6749
6750
oasis_setup_args = [] ;
6750
6751
setup_update = false
6751
6752
};;
6752
6753
6753
6754
let setup () = BaseSetup. setup setup_t;;
6754
6755
6755
- # 6756 " setup.ml"
6756
+ # 6757 " setup.ml"
6756
6757
(* OASIS_STOP *)
6757
6758
6758
6759
let def_piqic (() : unit ) : unit =
0 commit comments