Searched refs:ppl_version (Results 1 – 19 of 19) sorted by relevance
/dports/math/polymake/polymake-4.5/bundled/ppl/support/ |
H A D | configure.pl | 30 my ($ppl_path, $ppl_version, $ppl_inc, $ppl_lib, $ppl_config); 84 $ppl_version=$output; 85 if (Polymake::Configure::v_cmp($ppl_version, "1.2") < 0) { 86 die "PPL version is $ppl_version. Minimal required version is 1.2\n"; 103 return "$ppl_version @ ".($ppl_path//"system");
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/Ciao/ |
H A D | ciao_pl_check.pl | 36 ppl_version/1,
|
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
H A D | ppl_ocaml_globals.ml | 148 external ppl_version: 149 unit -> string = "ppl_version"
|
H A D | ppl_ocaml_globals.mli | 143 val ppl_version: val
|
H A D | ppl_ocaml_common.cc | 1622 ppl_version(value unit) try { in ppl_version() function
|
H A D | OCaml_interface.dox | 141 ppl_version, 170 <H2><CODE> ppl_version </CODE></H2>
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/ |
H A D | xsb_pl_check.P | 34 ppl_version/1,
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
H A D | ppl_interface_generator_prolog_procedure_generators.m4 | 42 ppl_version/1,
|
H A D | ppl_prolog_common_defs.hh | 792 ppl_version(Prolog_term_ref t_v);
|
H A D | Prolog_interface_sysindep.dox | 154 ppl_version/1, 340 <P><CODE> ppl_version(?Atom) </CODE><BR>
|
H A D | ppl_prolog_common.cc | 1747 ppl_version(Prolog_term_ref t_v) { in ppl_version() function
|
/dports/devel/ppl/ppl-1.2/m4/ |
H A D | ppl_c.m4 | 163 ppl_version(&version_string);
|
/dports/devel/ppl/ppl-1.2/interfaces/C/ |
H A D | ppl_c_header.h | 275 ppl_version PPL_PROTO((const char** p));
|
H A D | ppl_c_implementation_common.cc | 335 ppl_version(const char** p) try { in ppl_version() function
|
H A D | ppl_c.h.dist | 101 functions <CODE>ppl_version</CODE>, returning character string 318 ppl_version PPL_PROTO((const char** p));
|
/dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/ |
H A D | ppl_lpsol.c | 258 (void) ppl_version(&p); in get_ppl_version()
|
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/tests/ |
H A D | test1.ml | 375 let v = ppl_version ();;
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
H A D | pl_check.pl | 131 ppl_version(V),
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 10449 tests/test1.ml (1.12): Added code for ppl_version() and similar 77171 ppl_version_beta(), ppl_version() and ppl_banner(). 77877 (1.2): New C interface functions ppl_version() and ppl_banner().
|