| 1 | # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4 |
|---|
| 2 | |
|---|
| 3 | |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | name Maude |
|---|
| 6 | version 2.6 |
|---|
| 7 | |
|---|
| 8 | categories lang |
|---|
| 9 | maintainers gmail.com:dcolish |
|---|
| 10 | license GPL-2 |
|---|
| 11 | platforms darwin |
|---|
| 12 | description Maude |
|---|
| 13 | |
|---|
| 14 | long_description \ |
|---|
| 15 | Maude is a high-performance reflective language and system |
|---|
| 16 | supporting both equational and rewriting logic |
|---|
| 17 | specification and programming for a wide range of |
|---|
| 18 | applications. Maude has been influenced in important ways |
|---|
| 19 | by the OBJ3 language, which can be regarded as an |
|---|
| 20 | equational logic sublanguage. Besides supporting equational |
|---|
| 21 | specification and programming, Maude also supports |
|---|
| 22 | rewriting logic computation. |
|---|
| 23 | |
|---|
| 24 | homepage http://maude.cs.uiuc.edu/ |
|---|
| 25 | master_sites http://maude.cs.uiuc.edu/download/current/ |
|---|
| 26 | |
|---|
| 27 | checksums \ |
|---|
| 28 | md5 7b1dd753e9994f034a49588e2541b968 \ |
|---|
| 29 | rmd160 a9387701016e04ba4a256c3db8c9f10195147183 \ |
|---|
| 30 | sha1 3f1ec2f39a22942bb096102d1d8d6eed4510483e |
|---|
| 31 | |
|---|
| 32 | depends_lib port:gmp \ |
|---|
| 33 | port:buddy \ |
|---|
| 34 | port:bison \ |
|---|
| 35 | port:flex |
|---|
| 36 | |
|---|
| 37 | configure.args \ |
|---|
| 38 | --prefix=${prefix} \ |
|---|
| 39 | --without-tecla |
|---|
| 40 | |
|---|
| 41 | destroot.target install |
|---|
| 42 | patchfiles patch-src-Mixfix-Makefile.in.diff |
|---|
| 43 | |
|---|
| 44 | post-install { |
|---|
| 45 | ui_msg "Maude has been successfully installed," |
|---|
| 46 | ui_msg "but you need set MAUDE_LIB=/opt/local/share" |
|---|
| 47 | ui_msg "in order to load prelude correctly" |
|---|
| 48 | } |
|---|
