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

64 Commits

Author SHA1 Message Date
daniel
efd5a97f0a update ocaml to 4.12.1 
The ocaml update requires ocaml-camlp4 to be updated in sync and all
dependant ports need a bump.

ok avsm@ (MAINTAINER)
 2021-12-10 04:10:59 +00:00
daniel
6a30c07e4e update coq to 8.13.2 2021-12-04 04:33:45 +00:00
daniel
68420eccff update ocaml to to 4.11.2 and bump all dependant ports 
As usual camlp4 and camlp4 need to be updated in sync with ocaml. All
ocaml ports were successfully builds- tested on amd64. coccinelle remains
broken, but was built with the proposed diff floating on ports@

ok chrisz@
 2021-12-02 03:59:19 +00:00
daniel
ddaab89ac0 update to coq 8.12.2; ok Yozo Toda (MAINTAINER) 2021-02-13 17:47:48 +00:00
daniel
bf994eea35 update coq to 8.12.1; a bug fix release 
ok Yozo Toda (MAINTAINER)
 2020-11-26 05:30:03 +00:00
daniel
0cedcb5459 Repair coq on non-native archs as pointed out by MAINTAINER and also 
by recent !native bulk builds.

In particular:
- ocaml-num is needed at runtime, not just at build-time.
- packing list was incorrect, preventing packaging.

Compile tested by cwen@ on powerpc, and by jj@ on mips64. Some basic
runtime tests by myself on powerpc.
 2020-09-16 21:13:09 +00:00
daniel
baac4a0e6e Update to coq 8.12.0; tested by myself and MAINTAINER on amd64. 2020-08-09 02:45:34 +00:00
daniel
68586efc70 Update to coq 8.11.2; ok Yoza Toda (MAINTAINER) 2020-07-16 02:50:07 +00:00
chrisz
5ae518c3da Upgrade math/coq to 8.11.1 
ok daniel@
 2020-06-01 06:04:50 +00:00
daniel
7e3735bd84 Update to coq 8.10.0; ok Yoza Toda (MAINTAINER) 2019-10-16 06:40:03 +00:00
sthen
95c2dfbbb1 really bump REVISION 2019-10-08 10:56:29 +00:00
chrisz
55f72cd4c1 fix plist for bytecode-only arm64, sparc64 
OK jca@
 2019-10-07 06:40:15 +00:00
ajacoutot
de46686d17 Missed bump. 
-@depend lang/ocaml,-main:ocaml-=4.08.1:ocaml-4.08.1
-@depend x11/lablgtk3:lablgtk3-*:lablgtk3-3.0.beta6p0
+@depend lang/ocaml:ocaml-=4.09.0:ocaml-4.09.0
+@depend x11/lablgtk3:lablgtk3-*:lablgtk3-3.0.beta6p1
 2019-09-27 09:58:09 +00:00
daniel
e14e5d002f - Update to beta3 to pickup a few bug fixes. 
- Make the regression tests more verbose like we used but lost in one
  of the recent updates.

ok Yozo Toda (MAINTAINER)
 2019-09-20 03:28:33 +00:00
chrisz
225ce4224b Upgrade lang/ocaml to 4.08.1 
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.

ok krw@, testing on i386 and ok daniel@
 2019-09-18 17:49:35 +00:00
sthen
c26f5d878c BUILD_DEPENDS on bash 2019-09-10 14:09:17 +00:00
chrisz
3eeef006f1 Upgrade to 8.10beta2, which supports OCaml 4.08. 
no objections krw@, please commit daniel@
 2019-09-06 22:10:18 +00:00
sthen
3318ced016 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:46:54 +00:00
jca
3af625615a Move comment to the right place 2019-03-23 10:55:51 +00:00
jca
83c7e2b107 DPB_PROPERTIES=parallel not needed 
Sneaked in the last OCaml update.  Those ports aren't big nor critical
enough to warrant the use of multiple build slots in regular bulk
builds.
 2019-03-23 10:54:59 +00:00
chrisz
ad28eb4c1f Increase stack size limit. 
ok jca@
 2019-03-10 20:16:54 +00:00
jca
a7af6c85e7 Those files should have been removed in the ocaml-4.07.1+friends update 
Noticed by krw@ and Adam Steen
 2019-03-05 04:29:46 +00:00
chrisz
b438efbd00 Upgrade OCaml and dependent ports 
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
 2019-03-04 12:51:12 +00:00
espie
0ac561f238 this does need the emacs dirs 2018-05-20 08:25:36 +00:00
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