cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
125,021 Commits 1 Branch 0 Tags
Commit Graph

40 Commits

Author SHA1 Message Date
daniel
391b2d9839 Minor cleanup: 
- http -> https
- drop gettext module

ok shadchin@, tb@
 2017-02-25 18:58:04 +00:00
krw
f5fd6f0fd2 Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep 
them all compiling.

Tweaks include updating

ocaml-batteries 2.3.1 -> 2.5.0
ocaml-lwt 2.4.8 -> 2.5.2
ocaml-ppx-tools 0.99.2 -> 4.03.0
ocaml-camlp4 4.02+6 -> 4.03+1
utop 1.15 -> 1.19.2

and fixes to coccinelle and wyrd to let them build on bytecode archs.

Other necessary tweaks from the various homes of the projects.

Everything still builds on amd64 (native and bytecode) and sparc64 (bytecode).

ok anil@ sthen@ so final 4.3.0 tweaks can be done in-tree.
 2016-06-24 15:59:11 +00:00
naddy
b565ffc051 g/c PFRAG.shared from OCaml ports; ok chrisz@ 2016-03-29 11:27:00 +00:00
avsm
043cbe1cad bump coq REVISION due to OCaml 4.02.3 update 
ok jca@, tested by krw@ daniel@ jsg@
 2015-08-30 16:34:41 +00:00
daniel
1c147d96fd Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@ 2015-06-19 21:25:32 +00:00
naddy
90bea15d2f Drop USE_GROFF: trivial page footer differences only. 2015-01-22 21:17:46 +00:00
daniel
7be5704e9a coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER). 
using dpb, sthen@ discovered that having latex around at config time
but not at build time will cause the coq build to fail because
latex is not listed as a BDEP. Fix this as well.
 2014-11-18 02:00:52 +00:00
chrisz
b73d87a0a9 Add missing BUILD_DEPENDS/lang/ocaml-camlp4 to math/coq 
noticed by landry@
 2014-09-10 08:36:18 +00:00
daniel
ad7f6192e7 Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@; 
fix taken from coq trunk.

ok Yozo Toda (MAINTAINER) some time ago.
ok chrisz@
 2014-08-27 09:44:59 +00:00
chrisz
0ae97f5f8a Last OCaml REVISION bumps do to changes in BUILD_DEPENDS. 2014-08-23 07:09:18 +00:00
daniel
090ffc6b18 Update to 8.4pl3; Yozo Toda. 
ok sthen@
 2014-03-26 03:27:26 +00:00
sthen
7d0c407ab6 update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer) 2013-11-08 23:11:48 +00:00
brad
d8981fd22f Fix GNU make check with newer versions. 
ok sthen@
 2013-10-26 07:38:19 +00:00
sthen
8c49cfdb82 use gettext/libiconv MODULES. 2013-05-16 09:16:43 +00:00
espie
0662a4e9d6 PERMIT_* / REGRESS->TEST sweep 2013-03-11 11:20:26 +00:00
nigel
12d0c6e92d Add missing build dependency findlib 
Ok sthen@ jasper@
 2013-02-07 22:03:36 +00:00
naddy
347a5578b4 actually define V, so that we have a valid master site path 2013-02-07 12:16:08 +00:00
chrisz
0039808155 Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> 
OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@
 2013-02-07 09:43:15 +00:00
chrisz
cc072d54cf update to version 8.4 
OK
jasper@, sthen@, Yozo Toda (maintainer)
 2013-01-04 11:07:28 +00:00
chrisz
0081341c9f update lang/ocaml to 4.00.1. 
Let all ocaml ports RUN_DEPEND on the version of ocaml they were built with.
 2012-11-30 19:38:09 +00:00
espie
bc8dc9adb1 new depends 2010-11-19 07:23:05 +00:00
espie
3075d068d4 USE_GROFF=Yes 2010-10-18 20:52:05 +00:00
steven
80dfe7cfa9 REVISION 2010-07-18 10:30:41 +00:00
espie
17d70806a3 tweak FAKE_FLAGS semantics to saner defaults. 2008-01-04 17:48:33 +00:00
steven
907a85c549 remove quotes from COMMENT/PERMIT*/BROKEN 2007-09-15 18:44:36 +00:00
espie
9eafbbfb35 base64 checksums. 2007-04-05 16:19:55 +00:00
aanriot
6efe8828a8 this version doesn't work with ocaml 3.08, mark it as broken. 
ok naddy@
 2005-08-09 22:50:15 +00:00
naddy
8e0d7f62ec SIZE 2005-01-05 17:05:00 +00:00
alek
554de2fd94 Add WANTLIB markers 2004-12-27 07:16:44 +00:00
espie
d7c7e778ad new style PLISTs 2004-09-15 09:11:58 +00:00
xsa
8f584f432e more new-style MODULES. 2004-08-10 20:41:47 +00:00
espie
c3a71ab9a0 fed up with changing checksums: provide a local mirror and kill 
IGNOREFILES.
 2004-07-11 12:18:44 +00:00
sturm
7f7292aee5 compile with ocaml 3.07 2003-12-31 17:06:42 +00:00
naddy
2276d3b230 remove WWW lines 2003-12-15 21:42:08 +00:00
sturm
18ebc748c1 make coq use the ocaml module 
requested by and OK naddy@
 2002-12-18 09:40:07 +00:00
naddy
6cfb0e81a0 Update to 7.3.1 and unbreak. 
From: Yozo Toda <yozo@v007.vaio.ne.jp>
 2002-11-04 21:10:44 +00:00
naddy
b154af47f1 remove obsolete camlp4 dependency 2002-09-07 23:43:09 +00:00
pvalchev
c440a7d291 Update maintainer's email address, remove a dead master site. 
from Yozo TODA <yozo@v007.vaio.ne.jp>
 2002-01-31 20:41:38 +00:00
espie
0e6f6f93bb Kill first component of BUILD_DEPENDS. 
Fix sawfish comment while I'm at it.
`window manager for the X windows system'.
Like DUH ! It's going to be a window manager for my microwave oven ?
 2001-11-10 15:00:47 +00:00
naddy
3367255cb4 Import of coq 7.0. 
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.

The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
 2001-09-22 14:24:31 +00:00