mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-22 08:58:47 +00:00
a34c2f347e
- Project had been moved under Xavier's GitHub account - Remove ugly and (now) mostly useless `post-extract' target: installation is done via ``ocamlfind install'' which does the right thing by itself and passing ${CFLAGS} does not require in-place expansion and can be moved to the `patch-Makefile' - Drop dynamic `pkg-plist' generation in favor of static file PR: 263005 (modified) Submitted by: thierry Reported by: portscout (a while ago) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |