NEW: camlp5
| Reported by: |
wss@… |
Owned by: |
macports-tickets@… |
|
Priority:
|
Normal
|
Milestone:
|
|
|
Component:
|
ports
|
Version:
|
1.5.0
|
|
Keywords:
|
caml coq
|
Cc:
|
|
|
Port:
|
|
|
|
I've written a small portfile to install campl5 (http://pauillac.inria.fr/~ddr/camlp5/). The latest version of the coq theorem prover requires camlp5 in order to build. I've tested it on my machine and it seems to work. It may need a bit of work to install the man pages in the correct place, but otherwise it seems fine. I'd appreciate it if someone could test it, and add it to the repository.
The portfile:
# $Id: ... $
PortSystem 1.0
name camlp5
version 5.02
categories lang
platforms darwin
description Camlp5 is a preprocessor-pretty-printer of OCaml.
maintainers nomaintainer
homepage http://pauillac.inria.fr/~ddr/camlp5/
master_sites http://pauillac.inria.fr/~ddr/camlp5/distrib/src/
extract.suffix .tgz
depends_build port:ocaml
configure.pre_args --prefix "${prefix}"
build.target world.opt
checksums md5 aaaf513bf670063111433f765ba0a882
Change History (5)
| Keywords: |
new removed
|
| Milestone: |
→ Port Submissions
|
| Resolution: |
→ fixed
|
| Status: |
new →
closed
|
| Type: |
defect →
submission
|
| Milestone: |
Port Submissions
|
Committed in r30977. Thanks. By the way, coq maintainer updated coq.