Link [ pkgsrc | NetBSD | pkgsrc git mirror | PR fulltext-search | netbsd commit viewer ]


   
        usage: [branch:branch] [user:user] [path[@revision]] keyword [... [-excludekeyword [...]]] (e.g. branch:MAIN pkgtools/pkg)


[ 1 ]


switch to index mode

recent branches: MAIN (1h)  pkgsrc-2024Q1 (9d)  pkgsrc-2023Q4 (56d)  pkgsrc-2023Q2 (88d)  pkgsrc-2023Q3 (168d) 

2024-05-27 06:17:56 UTC Now

2017-09-05 07:30:00 UTC MAIN commitmail json YAML

pkgsrc/devel/frama-c/Makefile@1.68 / diff
pkgsrc/devel/frama-c/PLIST@1.5 / diff
pkgsrc/devel/frama-c/distinfo@1.7 / diff
pkgsrc/devel/frama-c/options.mk@1.4 / diff
pkgsrc/devel/frama-c/patches/patch-Makefile@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-configure@1.2 / diff
pkgsrc/devel/frama-c/patches/patch-share_Makefile.common@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac@1.1 / diff
pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_share_coqwp_Zbits.v@1.1 / diff

Update to 20170501 (v15.x, "Phosphorus"). This reflects six major
upstream releases, so visit the HOMEPAGE for further info.

pkgsrc changes:
  - old patches were rolled in upstream
  - use the ocaml framework
  - depends on more ocaml libraries
  - depends on lang/coq by default; turn off the coq option to avoid this

XXX: You must build ocamlgraph with ocaml-lablgtk support (which is
XXX: not the default) or the build fails on missing module "Dgraph".

(dholland)

[ 1 ]