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

29 Commits

Author SHA1 Message Date
naddy
85229c97e7 drop RCS Ids 2022-03-11 18:49:30 +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
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
chrisz
8f34a2e806 Update lang/ocaml to 4.10.0 
tested on sparc64, update to lang/camlp4 and ok by jca@
ok daniel@
thanks.
 2020-06-09 17:34:13 +00:00
sthen
35144a4519 put BROKEN-i386 back 2019-11-13 17:41:22 +00:00
sthen
0f0e3e87b9 remove BROKEN-i386 (which was present before frama-c was last updated) to 
give it a chance in the next bulk.
 2019-11-10 14:38:23 +00:00
pirofti
bb186efe76 Frama-c needs findlib at runtime otherwise it errors out. 
OK landry@
 2019-11-10 14:23:45 +00:00
chrisz
2dd0fda6b6 Update OCaml to 4.09 
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me

Thanks for reviews and testing!
 2019-09-26 09:46:09 +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
chrisz
8a2d18eacb Update to 19.0, which supports OCaml 4.08. 
OK (ports-wise) jca@
 2019-09-07 17:11:53 +00:00
sthen
9fe1e38b23 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:43:27 +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
jca
f0a47f266c Use FIX_EXTRACT_PERMISSIONS 2019-03-23 10:31:17 +00:00
jca
7009ecffc7 Also use https for HOMEPAGE 2019-03-23 10:30:02 +00:00
jca
f7dcc361f6 frama-c needs findlib at runtime 
from Greg Czerniak
 2019-03-23 10:12:53 +00:00
jca
d1ce8a93b7 Split BUILD/RUN_DEPENDS, one per line 2019-03-23 10:11:00 +00:00
sthen
b5128573f2 mark BROKEN-i386 
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)

ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)

ld: error: undefined symbol: ml_as_z_neg
(etc.etc.)
 2019-03-13 09:34:42 +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
naddy
1a87aebd2d mechanical replacement of the gettext module 2017-11-21 00:12:59 +00:00
nigel
c88053d0ec Bump added graphviz dependency. 
Ok krw@
 2016-05-31 11:39:20 +00:00
krw
6d5e09dd0c Add explicit dependencies on devel/ocaml-graph and math/graphviz. This 
should eliminate the TOCTOU race between config and build stages
that can result in neither the internal or the port versions being
available.

Found while preparing for Ocaml 4.3.0.

ok sthen@
 2016-05-31 01:18:35 +00:00
avsm
bd308519f9 update to framac-1.11 (the "Sodium" release upstream) 
ok jca@, tested by krw@ daniel@ jsg@
 2015-08-30 16:22:15 +00:00
ajacoutot
7e29903368 Fix intermitent build failures by making sure we do not use the in-tree 
ocaml-graph but the bundled one.
 2015-08-12 06:20:45 +00:00
landry
6cd8137fd8 BROKEN-powerpc + BROKEN-alpha: 
Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
 2014-09-30 19:28:26 +00:00
chrisz
0ae97f5f8a Last OCaml REVISION bumps do to changes in BUILD_DEPENDS. 2014-08-23 07:09:18 +00:00
jca
bdb62a6faf Enable GUI support. ok sthen@ 2014-04-23 14:12:28 +00:00
jca
18ee268bb2 Prevent the use of lablgtk2 since the latter now supports gnomecanvas. 
Temporary until frama-c gui support is added.
 2014-04-21 22:15:33 +00:00
jca
1d1777dc2c Import frama-c. Work done by blambert@, with help from sthen@, 
phessler@ and me.  ok sthen@ blambert@

Frama-C is a suite of tools dedicated to the analysis of the source code
of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a
slicer and dependency analysis.
 2014-04-21 16:02:25 +00:00