| non port: devel/frama-c/Makefile |
|
SVNWeb
|
Number of commits found: 34 |
|
Tue, 21 Mar 2023
|
[ 00:01 Muhammad Moinur Rahman (bofh)  ]    c06842b
devel/frama-c/: Remove expired port:
2023-03-21 devel/frama-c: Broken since 2021
|
|
Thu, 2 Mar 2023
|
[ 05:23 Tobias C. Berner (tcberner) ] fa81a4f (Only the first 10 of 1168 ports in this commit are shown above.  )
accessibility/at-spi2-core: update to 2.46.0
What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
interface.
What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).
What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments. (Only the first 15 lines of the commit message are shown above )
|
|
Mon, 20 Feb 2023
|
[ 17:09 Antoine Brodin (antoine) ] 78fc10c
devel/frama-c: deprecate
|
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se) ] b7f0544 (Only the first 10 of 27931 ports in this commit are shown above. )
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
|
|
Wed, 20 Jul 2022
|
[ 14:21 Tobias C. Berner (tcberner) ] aa6eefd (Only the first 10 of 5087 ports in this commit are shown above. )
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above )
|
|
Sun, 10 Apr 2022
|
[ 19:11 Charlie Li (vishwin) ] d63665f (Only the first 10 of 892 ports in this commit are shown above. )
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) ] 247c7db (Only the first 10 of 867 ports in this commit are shown above. )
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) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Fri, 1 Jan 2021
|
[ 21:03 antoine ]  
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 ] (Only the first 10 of 25 ports in this commit are shown above. )
Return mmokhi@'s ports to the pool after his commit bit was safekept.
|
|
Mon, 17 Jun 2019
|
[ 07:33 danfe ]
- 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 ]
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 ] (Only the first 10 of 20 ports in this commit are shown above. )
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 ]
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 ] (Only the first 10 of 5103 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight
|
|
Fri, 13 Nov 2015
|
[ 13:47 marino ]
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 ] (Only the first 10 of 285 ports in this commit are shown above. )
Mark a few ports BROKEN: unfetchable
|
|
Mon, 8 Jun 2015
|
[ 01:20 amdmi3 ]
- Strip binaries
|
|
Mon, 4 May 2015
|
[ 15:46 madpilot ] (Only the first 10 of 35 ports in this commit are shown above. )
- 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 ]
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 ]
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 ] (Only the first 10 of 3171 ports in this commit are shown above. )
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 ]
Use MAKE_CMD
|
|
Tue, 3 Jun 2014
|
[ 13:37 marino ]
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 ]
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 ] (Only the first 10 of 482 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
|
|
Thu, 7 Mar 2013
|
[ 03:56 bf ]
update to the Oxygen release
|
|
Tue, 5 Mar 2013
|
[ 20:22 bf ] (Only the first 10 of 19 ports in this commit are shown above. )
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 ]
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 ]
- 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 ] (Only the first 10 of 4371 ports in this commit are shown above. )
- update png to 1.5.10
|
|
Wed, 21 Dec 2011
|
[ 03:00 bf ]
update to Nitrogen-20111001
|
|
Fri, 21 Oct 2011
|
[ 12:33 bf ]
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 ]
Add frama-c , extensible platform for source-code analysis of C.
|
Number of commits found: 34 |
As an Amazon Associate I earn from qualifying purchases.