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

20 Commits

Author SHA1 Message Date
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