| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | |
|---|
| 5 | name mlton |
|---|
| 6 | version 20130715 |
|---|
| 7 | categories lang |
|---|
| 8 | maintainers nomaintainer |
|---|
| 9 | license BSD |
|---|
| 10 | description The MLton Standard ML compiler. |
|---|
| 11 | long_description MLton is an open-source, whole-program, optimizing Standard ML compiler. |
|---|
| 12 | homepage http://mlton.org |
|---|
| 13 | platforms darwin |
|---|
| 14 | distfiles ${distname}.src.tgz ${distname}-1.amd64-darwin.gmp-macports.tgz |
|---|
| 15 | master_sites sourceforge:project/mlton/mlton/${version}/ |
|---|
| 16 | |
|---|
| 17 | depends_lib port:gmp |
|---|
| 18 | universal_variant no |
|---|
| 19 | supported_archs x86_64 |
|---|
| 20 | |
|---|
| 21 | checksums ${distname}.src.tgz \ |
|---|
| 22 | rmd160 cab92f70f79063540267c3dc12166490cb397030 \ |
|---|
| 23 | sha256 215857ad11d44f8d94c27f75e74017aa44b2c9703304bcec9e38c20433143d6c \ |
|---|
| 24 | ${distname}-1.amd64-darwin.gmp-macports.tgz \ |
|---|
| 25 | rmd160 bc348fbab45b270932a24e6fc20c98166e484c5c \ |
|---|
| 26 | sha256 a9bfff3bc5a793e84306f98cd60f195a8139902900f96e1072d13c0813b49c10 |
|---|
| 27 | |
|---|
| 28 | use_configure no |
|---|
| 29 | use_parallel_build no |
|---|
| 30 | |
|---|
| 31 | build.target all-no-docs |
|---|
| 32 | build.post_args PATH="${workpath}/usr/local/bin:$env(PATH)" |
|---|
| 33 | |
|---|
| 34 | destroot.post_args-append PREFIX="${prefix}" MAN_PREFIX_EXTRA="/share" |
|---|
| 35 | |
|---|
| 36 | post-extract { |
|---|
| 37 | reinplace "s|^lib='|lib='${workpath}|" ${workpath}/usr/local/bin/mlton |
|---|
| 38 | } |
|---|
| 39 | |
|---|
| 40 | variant pdf_docs description {Build the documentation in PDF} { |
|---|
| 41 | depends_build-append port:asciidoc port:dblatex port:python27 |
|---|
| 42 | build.target all |
|---|
| 43 | patchfiles-append patch-InclGitFile.py |
|---|
| 44 | } |
|---|
