cpet
/
openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
173,187 Commits 1 Branch 0 Tags 544 MiB
Commit Graph

70 Commits

Author SHA1 Message Date
phessler d500cdf9a0 add forgotten REVISION bump 2023-01-18 21:24:29 +00:00
phessler 5223354db6 sprinkle USE_NOEXECONLY to not segfault while building 2023-01-18 18:14:33 +00:00
sthen 45398fe1b1 sync WANTLIB for various ports with "NOT REACHABLE" libs 2022-03-31 12:52:13 +00:00
naddy ab45f39af6 drop RCS Ids 2022-03-11 19:36:11 +00:00
kn af864f388f Drop default DISTNAME and WRKDIST values 
bsd.port.mk(5) copes with leading "V" in distnames.
OK Yozo TODA (maintainer)
 2022-02-13 11:10:56 +00:00
kn b79e39b225 Adapt to non-native architectures; from Yozo TODA (maintainer), thanks! 
- entries for native archs only in PLIST moved to PFRAG.native
- entries for non-native archs only in PLIST (with @comment tag)
  moved to PFRAG.no-native
- adding @static-lib tag to all .a

packaging failed on ocaml non-native architectures, like mips64, riscv64,
sparc64, powerpc.

Tested on amd64 and sparc64 (builds/packages without PLIST change) by me
 2022-02-12 22:29:22 +00:00
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