diff options
| author | thierry <thierry@FreeBSD.org> | 2005-06-09 05:16:02 +0800 |
|---|---|---|
| committer | thierry <thierry@FreeBSD.org> | 2005-06-09 05:16:02 +0800 |
| commit | e3dea4fd7ada2a5f71f7ac7670f5818b234d7e36 (patch) | |
| tree | 66a31e2186f2b952f9176870c2b6d880158b8688 /archivers | |
| parent | 0c4f7bc72086aa51de809f2b77684fc3531cce31 (diff) | |
| download | freebsd-ports-graphics-e3dea4fd7ada2a5f71f7ac7670f5818b234d7e36.tar.gz freebsd-ports-graphics-e3dea4fd7ada2a5f71f7ac7670f5818b234d7e36.tar.zst freebsd-ports-graphics-e3dea4fd7ada2a5f71f7ac7670f5818b234d7e36.zip | |
- Add a knob WITHOUT_COMPILER_LIB, in order to install compiler libs
(additionnal libs needed to build programs manipulating OCaml modules,
like the ocaml/cduce interface for example.);
- add an option WITH_OPT_DEFAULT, telling the port to replace ocamlc and
other tools by there native and faster version;
WARNING: This option may break other ports!
- Take maintainership.
PR: ports/81868
Submitted by: Marwan Burelle <marwan.burelle (at) lri.fr>
Diffstat (limited to 'archivers')
0 files changed, 0 insertions, 0 deletions