notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: devel/frama-c/Makefile
SVNWeb

Number of commits found: 29

Sun, 10 Apr 2022
[ 19:11 Charlie Li (vishwin) search for other commits by this committer ]    commit hash:d63665f7cd9c99880704a3c5bc221829cb009744  d63665f  (Only the first 10 of 892 ports in this commit are shown above. View all ports for this commit)
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
Sat, 26 Mar 2022
[ 08:27 Matthias Fechner (mfechner) search for other commits by this committer ]    commit hash:247c7db7513f1264922428278678da641c5a3f52  247c7db  (Only the first 10 of 867 ports in this commit are shown above. View all ports for this commit)
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
Tue, 6 Apr 2021
[ 14:31 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:305f148f482daf30dcf728039d03d019f88344eb  305f148  (Only the first 10 of 29333 ports in this commit are shown above. View all ports for this commit)
Remove # $FreeBSD$ from Makefiles.
Fri, 1 Jan 2021
[ 21:03 antoine search for other commits by this committer ] Original commit   Revision:559875
Mark BROKEN: fails to build

File "src/plugins/gui/gtk_helper.ml", line 323, characters 54-58:
Error: This expression has type string but an expression was expected of type
         bytes

Reported by:	pkg-fallout
Mon, 7 Dec 2020
[ 20:09 rene search for other commits by this committer ] Original commit   Revision:557245 (Only the first 10 of 25 ports in this commit are shown above. View all ports for this commit)
Return mmokhi@'s ports to the pool after his commit bit was safekept.
Mon, 17 Jun 2019
[ 07:33 danfe search for other commits by this committer ] Original commit   Revision:504397
- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
Sat, 4 Mar 2017
[ 04:19 mmokhi search for other commits by this committer ] Original commit   Revision:435383
devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790
Sat, 11 Feb 2017
[ 04:44 mmokhi search for other commits by this committer ] Original commit   Revision:433834 (Only the first 10 of 20 ports in this commit are shown above. View all ports for this commit)
Updating the ports I maintain to my FreeBSD.org address.

Submitted by:	mmokhi
Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9498
Sat, 28 May 2016
[ 02:02 junovitch search for other commits by this committer ] Original commit   Revision:415974
Assign submitter as maintainer by request

PR:		209794
Submitted by:	Mahdi Mokhtari <mokhi64@gmail.com>
Differential Revision:	D6606
Fri, 1 Apr 2016
[ 14:00 mat search for other commits by this committer ] Original commit   Revision:412346 (Only the first 10 of 5103 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
Fri, 13 Nov 2015
[ 13:47 marino search for other commits by this committer ] Original commit   Revision:401513
devel/frama-c: Unbreak after checking rerolled distfile

Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!).  I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts).  It looks innocent to me.

Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.
Mon, 9 Nov 2015
[ 12:59 antoine search for other commits by this committer ] Original commit   Revision:401096 (Only the first 10 of 285 ports in this commit are shown above. View all ports for this commit)
Mark a few ports BROKEN: unfetchable
Mon, 8 Jun 2015
[ 01:20 amdmi3 search for other commits by this committer ] Original commit   Revision:388813
- Strip binaries
Mon, 4 May 2015
[ 15:46 madpilot search for other commits by this committer ] Original commit   Revision:385413 (Only the first 10 of 35 ports in this commit are shown above. View all ports for this commit)
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
Sun, 22 Mar 2015
[ 18:39 marino search for other commits by this committer ] Original commit   Revision:381945
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)

The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.

Notes:
  - The distfile can only be extracted by gtar.
  - Reset maintainership
  - This ports is extremely sensitive to Ocamlgraph changes.  Ocamlgraph
    should not be updated without checking breakage on frama-c first
  - used @dir instead of .keepme
  - Made some tabbing changes
Sat, 31 Jan 2015
[ 09:54 antoine search for other commits by this committer ] Original commit   Revision:378196
Mark BROKEN: Fails to build with ocamlgraph 1.8.6

Ocamlc       src/logic/property_status.cmi
Ocamlc       src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2019:
Error: Signature mismatch:
       ...
       Values do not match:
         val vertex_attributes :
           v ->
           [> `Color of int
            | `Label of string
            | `Shape of [> `Box | `Diamond ]
            | `Style of [> `Bold | `Filled ]
            | `Width of float ]
           list
       is not included in
         val vertex_attributes :
           V.t -> Graph.Graphviz.DotAttributes.vertex list
       File "src/logic/property_status.ml", line 1479, characters 16-33:
         Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo'
failed

Reported by:	pkg-fallout
Wed, 10 Sep 2014
[ 20:50 gerald search for other commits by this committer ] Original commit   Revision:367888 (Only the first 10 of 3171 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Tue, 24 Jun 2014
[ 22:48 bapt search for other commits by this committer ] Original commit   Revision:359165
Use MAKE_CMD
Tue, 3 Jun 2014
[ 13:37 marino search for other commits by this committer ] Original commit   Revision:356360
devel/frama-c: Re-stage to correct -print-libpath

The approach to staging had a bug.  frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere).  Improve
staging so frama-c knows where its installed.
Wed, 7 May 2014
[ 20:47 marino search for other commits by this committer ] Original commit   Revision:353205
devel/frama-c: Update version Oxygen => Neon to unbreak and stage

Oxygen is from Sept 2012, and Neon is from Mar 2014.  Stage support was
added along with some minor cleanup.  A major patch from Debian was
required to support OcamlGraph 1.8.5.

It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.
Fri, 20 Sep 2013
[ 17:04 bapt search for other commits by this committer ] Original commit   Revision:327723 (Only the first 10 of 482 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
Thu, 7 Mar 2013
[ 03:56 bf search for other commits by this committer ] Original commit   Revision:313561
update to the Oxygen release
Tue, 5 Mar 2013
[ 20:22 bf search for other commits by this committer ] Original commit   Revision:313476 (Only the first 10 of 19 ports in this commit are shown above. View all ports for this commit)
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
Wed, 27 Jun 2012
[ 07:16 bf search for other commits by this committer ] Original commit 
temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph
Tue, 26 Jun 2012
[ 20:55 pav search for other commits by this committer ] Original commit 
- Mark BROKEN: does not build
         The field `compare' is required but not provided
         gmake: *** [src/misc/service_graph.cmo] Error 2

Reported by:    pointyhat
Fri, 1 Jun 2012
[ 05:26 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4371 ports in this commit are shown above. View all ports for this commit)
- update png to 1.5.10
Wed, 21 Dec 2011
[ 03:00 bf search for other commits by this committer ] Original commit 
update to Nitrogen-20111001
Fri, 21 Oct 2011
[ 12:33 bf search for other commits by this committer ] Original commit 
fix the plist after the recent ocamlgraph update by permitting
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity

Reported by:    pav, johans [1]
Sun, 18 Sep 2011
[ 15:38 bf search for other commits by this committer ] Original commit 
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 29