Home
last modified time | relevance | path

Searched refs:ppl_version (Results 1 – 19 of 19) sorted by relevance

/dports/math/polymake/polymake-4.5/bundled/ppl/support/
H A Dconfigure.pl30 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 Dciao_pl_check.pl36 ppl_version/1,
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_ocaml_globals.ml148 external ppl_version:
149 unit -> string = "ppl_version"
H A Dppl_ocaml_globals.mli143 val ppl_version: val
H A Dppl_ocaml_common.cc1622 ppl_version(value unit) try { in ppl_version() function
H A DOCaml_interface.dox141 ppl_version,
170 <H2><CODE> ppl_version </CODE></H2>
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/
H A Dxsb_pl_check.P34 ppl_version/1,
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_interface_generator_prolog_procedure_generators.m442 ppl_version/1,
H A Dppl_prolog_common_defs.hh792 ppl_version(Prolog_term_ref t_v);
H A DProlog_interface_sysindep.dox154 ppl_version/1,
340 <P><CODE> ppl_version(?Atom) </CODE><BR>
H A Dppl_prolog_common.cc1747 ppl_version(Prolog_term_ref t_v) { in ppl_version() function
/dports/devel/ppl/ppl-1.2/m4/
H A Dppl_c.m4163 ppl_version(&version_string);
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_header.h275 ppl_version PPL_PROTO((const char** p));
H A Dppl_c_implementation_common.cc335 ppl_version(const char** p) try { in ppl_version() function
H A Dppl_c.h.dist101 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 Dppl_lpsol.c258 (void) ppl_version(&p); in get_ppl_version()
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/tests/
H A Dtest1.ml375 let v = ppl_version ();;
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/
H A Dpl_check.pl131 ppl_version(V),
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200810449 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().