- Committer: Bazaar Package Importer
- Date: 2008-10-09 15:20:00 UTC
- mfrom: (5.1.4 intrepid)
- Revision ID: james.westby@ubuntu.com-20081009152000-vmmbwva80i9kujtz
* Call clean in examples/ manually as upstream's Makefile wont and cdbs
doesn't keep the patches applied when cleaning.
* Fix ocamlopt usage; closes: #501672.
- New dpatch, 30-non-opt-check, ocamlopt isn't available on all arches;
don't use it for make check.
- New patch, 40-allow-ocamlc-override-in-examples, allow overriding OCAMLC
in examples by using separate _INVOKE vars to run misc commands.
doesn't keep the patches applied when cleaning.
* Fix ocamlopt usage; closes: #501672.
- New dpatch, 30-non-opt-check, ocamlopt isn't available on all arches;
don't use it for make check.
- New patch, 40-allow-ocamlc-override-in-examples, allow overriding OCAMLC
in examples by using separate _INVOKE vars to run misc commands.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
facile.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.9 KB |
|
|
|
facile.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 17.7 KB |
|
|
|
fcl_alldiff.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 5.4 KB |
|
|
|
fcl_alldiff.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.3 KB |
|
|
|
fcl_arith.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 3.1 KB |
|
|
|
fcl_arith.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 5.8 KB |
|
|
|
fcl_boolean.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 4.1 KB |
|
|
|
fcl_boolean.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1 KB |
|
|
|
fcl_conjunto.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 14.8 KB |
|
|
|
fcl_conjunto.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 3.5 KB |
|
|
|
fcl_cstr.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 8.7 KB |
|
|
|
fcl_cstr.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 7.9 KB |
|
|
|
fcl_data.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.3 KB |
|
|
|
fcl_data.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.6 KB |
|
|
|
fcl_debug.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.2 KB |
|
|
|
fcl_debug.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.7 KB |
|
|
|
fcl_domain.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 12 KB |
|
|
|
fcl_domain.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 7 KB |
|
|
|
fcl_expr.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 23.6 KB |
|
|
|
fcl_expr.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2 KB |
|
|
|
fcl_fdArray.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 10.3 KB |
|
|
|
fcl_fdArray.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.1 KB |
|
|
|
fcl_float.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.7 KB |
|
|
|
fcl_float.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.2 KB |
|
|
|
fcl_gcc.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 18.1 KB |
|
|
|
fcl_gcc.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.6 KB |
|
|
|
fcl_genesis.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.2 KB |
|
|
|
fcl_genesis.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.3 KB |
|
|
|
fcl_goals.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 11.6 KB |
|
|
|
fcl_goals.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 8.8 KB |
|
|
|
fcl_interval.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.2 KB |
|
|
|
fcl_interval.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.2 KB |
|
|
|
fcl_invariant.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 8.5 KB |
|
|
|
fcl_invariant.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 5 KB |
|
|
|
fcl_linear.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 17.7 KB |
|
|
|
fcl_linear.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.5 KB |
|
|
|
fcl_misc.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.9 KB |
|
|
|
fcl_misc.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 3.1 KB |
|
|
|
fcl_nonlinear.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 22.4 KB |
|
|
|
fcl_nonlinear.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.9 KB |
|
|
|
fcl_opti.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.4 KB |
|
|
|
fcl_opti.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.9 KB |
|
|
|
fcl_reify.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 4 KB |
|
|
|
fcl_reify.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.5 KB |
|
|
|
fcl_setDomain.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2.7 KB |
|
|
|
fcl_setDomain.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 3.3 KB |
|
|
|
fcl_sorting.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 10.6 KB |
|
|
|
fcl_sorting.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 1.7 KB |
|
|
|
fcl_stak.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 4.2 KB |
|
|
|
fcl_stak.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 3.4 KB |
|
|
|
fcl_var.ml |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 11.3 KB |
|
|
|
fcl_var.mli |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 9.1 KB |
|
|
|
Makefile |
1 | 18 years ago | Bazaar Package Importer | Import upstream version 1.1 | 2 KB |
|
|