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

Number of commits found: 24

Mon, 17 Jun 2019
[ 07:33 danfe ] Original commit   Revision:504397
504397 devel/frama-c/Makefile
504397 devel/frama-c/distinfo
504397 devel/frama-c/files/patch-Makefile
504397 devel/frama-c/pkg-plist
- 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 ] Original commit   Revision:435383
435383 devel/frama-c/Makefile
435383 devel/frama-c/distinfo
435383 devel/frama-c/files
435383 devel/frama-c/files/patch-Makefile
435383 devel/frama-c/files/patch-src_plugins_wp_Makefile.in
435383 devel/frama-c/pkg-plist
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 ] Original commit   Revision:433834
433834 databases/mysql56-server/Makefile
433834 databases/mysql57-server/Makefile
433834 databases/mysql80-server/Makefile
433834 devel/byaccj/Makefile
433834 devel/csmith/Makefile
433834 devel/elf/Makefile
433834 devel/frama-c/Makefile
433834 devel/libccid/Makefile
433834 devel/libcxxrt/Makefile
433834 devel/libtuntap/Makefile

(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 ] Original commit   Revision:415974
415974 devel/elf/Makefile
415974 devel/frama-c/Makefile
415974 devel/libcxxrt/Makefile
415974 editors/codelite/Makefile
415974 games/endgame-singularity-music/Makefile
415974 games/endgame-singularity/Makefile
415974 games/glest/Makefile
415974 games/lincity-ng/Makefile
415974 games/xtux/Makefile
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 ] Original commit   Revision:412346
412346 databases/R-cran-RMySQL/Makefile
412346 databases/R-cran-RSQLite.extfuns/Makefile
412346 databases/R-cran-RSQLite/Makefile
412346 databases/R-cran-sqldf/Makefile
412346 databases/akonadi-googledata/Makefile
412346 databases/akonadi/Makefile
412346 databases/apq-mysql/Makefile
412346 databases/apq-odbc/Makefile
412346 databases/apq-pgsql/Makefile
412346 databases/apq/Makefile

(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 ] Original commit   Revision:401513
401513 devel/frama-c/Makefile
401513 devel/frama-c/distinfo
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 ] Original commit   Revision:401096
401096 archivers/unalz/Makefile
401096 astro/luna/Makefile
401096 benchmarks/himenobench/Makefile
401096 biology/platon/Makefile
401096 converters/uudx/Makefile
401096 databases/mysqlreport/Makefile
401096 databases/mysqlsla/Makefile
401096 databases/oracle_odbc_driver/Makefile
401096 databases/pure-sql3/Makefile
401096 deskutils/charmap/Makefile

(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 ] Original commit   Revision:388813
388813 devel/frama-c/Makefile
- Strip binaries
Mon, 4 May 2015
[ 15:46 madpilot ] Original commit   Revision:385413
385413 Mk/bsd.ocaml.mk
385413 astro/planets/Makefile
385413 databases/ocaml-mysql/Makefile
385413 deskutils/wyrd/Makefile
385413 devel/coccinelle/Makefile
385413 devel/frama-c/Makefile
385413 devel/monotone-viz/Makefile
385413 devel/ocaml-camomile/Makefile
385413 devel/ocaml-deriving-ocsigen/Makefile
385413 devel/ocaml-extlib/Makefile

(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 ] Original commit   Revision:381945
381945 devel/frama-c/Makefile
381945 devel/frama-c/distinfo
381945 devel/frama-c/files
381945 devel/frama-c/pkg-plist
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 ] Original commit   Revision:378196
378196 devel/frama-c/Makefile
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 ] Original commit   Revision:367888
367888 accessibility/accerciser/Makefile
367888 accessibility/jovie/Makefile
367888 accessibility/kaccessible/Makefile
367888 accessibility/kdeaccessibility4/Makefile
367888 accessibility/kmag/Makefile
367888 accessibility/kmousetool/Makefile
367888 accessibility/kmouth/Makefile
367888 accessibility/orca/Makefile
367888 arabic/kde4-l10n/Makefile
367888 arabic/libreoffice/Makefile

(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 ] Original commit   Revision:359165
359165 devel/frama-c/Makefile
Use MAKE_CMD
Tue, 3 Jun 2014
[ 13:37 marino ] Original commit   Revision:356360
356360 devel/frama-c/Makefile
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 ] Original commit   Revision:353205
353205 devel/frama-c/Makefile
353205 devel/frama-c/distinfo
353205 devel/frama-c/files
353205 devel/frama-c/files/patch-Support_OCamlgraph185
353205 devel/frama-c/pkg-descr
353205 devel/frama-c/pkg-plist
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 ] Original commit   Revision:327723
327723 devel/f77flow/Makefile
327723 devel/fam/Makefile
327723 devel/fampp/Makefile
327723 devel/fastcrc/Makefile
327723 devel/fb303/Makefile
327723 devel/fc++/Makefile
327723 devel/ffcall/Makefile
327723 devel/fga/Makefile
327723 devel/fhist/Makefile
327723 devel/fib/Makefile

(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 ] Original commit   Revision:313561
313561 devel/frama-c/Makefile
313561 devel/frama-c/distinfo
313561 devel/frama-c/pkg-plist
update to the Oxygen release
Tue, 5 Mar 2013
[ 20:22 bf ] Original commit   Revision:313476
313476 devel/frama-c/Makefile
313476 devel/monotone-viz/Makefile
313476 devel/ocaml-ulex/Makefile
313476 games/freetennis/Makefile
313476 lang/opa/Makefile
313476 math/alt-ergo/Makefile
313476 math/coq/Makefile
313476 math/ocaml-ocamlgraph/Makefile
313476 net-p2p/mldonkey-core/Makefile
313476 net-p2p/mldonkey-gui/Makefile

(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 ] Original commit 
1.6 devel/frama-c/Makefile
1.3 devel/frama-c/pkg-plist
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 ] Original commit 
1.5 devel/frama-c/Makefile
- 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 ] Original commit 
1.59 Mk/bsd.gecko.mk
1.1246 UPDATING
1.18 accessibility/accerciser/Makefile
1.12 accessibility/at-poke/Makefile
1.77 accessibility/at-spi/Makefile
1.5 accessibility/at-spi2-atk/Makefile
1.54 accessibility/dasher/Makefile
1.60 accessibility/gnome-mag/Makefile
1.45 accessibility/gnopernicus/Makefile
1.51 accessibility/gok/Makefile

(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 ] Original commit 
1.3 devel/frama-c/Makefile
1.2 devel/frama-c/distinfo
1.2 devel/frama-c/pkg-plist
update to Nitrogen-20111001
Fri, 21 Oct 2011
[ 12:33 bf ] Original commit 
1.2 devel/frama-c/Makefile
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 ] Original commit 
1.4549 devel/Makefile
1.1 devel/frama-c/Makefile
1.1 devel/frama-c/distinfo
1.1 devel/frama-c/pkg-descr
1.1 devel/frama-c/pkg-plist
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 24

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
expat2Sep 16
curlSep 14
opensslSep 11
openssl111Sep 11
linux-flashplayerSep 10
onigurumaSep 07
xymon-serverSep 07
asterisk13Sep 06
asterisk15Sep 06
asterisk16Sep 06
asterisk16Sep 06
eximSep 06
wordpressSep 06
wordpressSep 06
wordpressSep 06

14 vulnerabilities affecting 199 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-09-16 12:47:59


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37689
Broken 405
Deprecated 536
Ignore 665
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 29
Expired 9
Set to expire 507
Interactive 0
new 24 hours 7
new 48 hours8
new 7 days35
new fortnight75
new month419

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.