FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
spark Technology for engineering high-reliability s/w applications
2014 lang Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: brutally fails test suite - with ICE
Deprecated DEPRECATED: Broken for more than 6 months
Expired This port expired on: 2016-09-30
Ignore IGNORE: is marked as broken: brutally fails test suite - with ICE

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 24 Jun 2015 13:32:54
License: GPLv3
SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.

The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.

SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).

A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.

WWW: http://www.spark-2014.org
SVNWeb : Homepage : PortsMon
There is no configure plist information for this port

No installation instructions: this port has been deleted.

The package name of this deleted port was:

PKGNAME: spark

distinfo:

SHA256 (spark-gpl-2014-src.tar.gz) = 238c82116346375bde63addf7be6950c700916c80c4362aa15c67b9bd72f134f
SIZE (spark-gpl-2014-src.tar.gz) = 37930303
SHA256 (gcc-5-20150609.tar.bz2) = 9154f0b0c4950cfb6dc802da8a35d02478029923a0c44f8ca963cd7ca9107885
SIZE (gcc-5-20150609.tar.bz2) = 90768076


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. gnatcoll>=2014 : devel/gnatcoll
  2. ada : lang/gcc6-aux
  3. gmake : devel/gmake
Runtime dependencies:
  1. gnatwhy3 : math/why3-spark
  2. alt-ergo : math/alt-ergo
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
ada gmake

Master Sites:
  1. ftp://ftp.funet.fi/pub/mirrors/sources.redhat.com/pub/gcc/releases/gcc-5.4.0/
  2. ftp://ftp.gwdg.de/pub/misc/gcc/releases/gcc-5.4.0/
  3. ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/releases/gcc-5.4.0/
  4. ftp://ftp.lip6.fr/pub/gcc/releases/gcc-5.4.0/
  5. ftp://ftp.mirrorservice.org/sites/sourceware.org/pub/gcc/releases/gcc-5.4.0/
  6. ftp://ftp.mpi-sb.mpg.de/pub/gnu/mirror/gcc.gnu.org/pub/gcc/releases/gcc-5.4.0/
  7. ftp://ftp.nluug.nl/mirror/languages/gcc/releases/gcc-5.4.0/
  8. ftp://ftp.ntua.gr/pub/gnu/gcc/releases/gcc-5.4.0/
  9. ftp://ftp.uvsq.fr/pub/gcc/releases/gcc-5.4.0/
  10. ftp://gcc.gnu.org/pub/gcc/releases/gcc-5.4.0/
  11. http://gcc-uk.internet.bs/releases/gcc-5.4.0/
  12. http://gcc.cybermirror.org/releases/gcc-5.4.0/
  13. http://gcc.fyxm.net/releases/gcc-5.4.0/
  14. http://gcc.igor.onlinedirect.bg/releases/gcc-5.4.0/
  15. http://gcc.parentingamerica.com/releases/gcc-5.4.0/
  16. http://gcc.skazkaforyou.com/releases/gcc-5.4.0/
  17. http://mirrors.kernel.org/sources.redhat.com/gcc/releases/gcc-5.4.0/
  18. http://robotlab.itk.ppke.hu/gcc/releases/gcc-5.4.0/
  19. http://www.netgull.com/gcc/releases/gcc-5.4.0/
Port Moves
  • port deleted on 2016-09-30
    REASON: Has expired: Broken for more than 6 months

Number of commits found: 8

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
30 Sep 2016 20:31:51
Original commit files touched by this commit  2014
Revision:423021
rene search for other commits by this committer
Remove expired ports:
2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS
15 Sep 2016 01:35:58
Original commit files touched by this commit  2014
Revision:422174
marino search for other commits by this committer
Drop spark-related ports for removal after 30 Sept
01 Apr 2016 14:08:38
Original commit files touched by this commit  2014
Revision:412347
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
29 Feb 2016 19:53:22
Original commit files touched by this commit  2014
Revision:409825
marino search for other commits by this committer
lang/spark: extend expiration by 8 months

I'm still working on this port and I'm chasing down some runtime
segfaults which are not trivial to diagnose and fix.
30 Jan 2016 20:20:51
Original commit files touched by this commit  2014
Revision:407550
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
10 Dec 2015 20:20:22
Original commit files touched by this commit  2014
Revision:403466
marino search for other commits by this committer
Move math/why3-gpl => math/why3-spark

There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
   ports with a -spark suffix, so this keeps up consistency as all of
   these ports only exist to support that port.
24 Jun 2015 20:17:55
Original commit files touched by this commit  2014
Revision:390517
marino search for other commits by this committer
lang/spark: Mark BROKEN until further notice

While spark builds, gnatprove is getting murdered on the testsuite,
including emitting Internal Compiler Errors quite often.  It's not
usable as is and needs more work.
24 Jun 2015 13:32:42
Original commit files touched by this commit  2014
Revision:390479
marino search for other commits by this committer
Add new file lang/spark  (will become run-depends for GPS)

SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.

The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.

SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).

A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.

Number of commits found: 8

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, 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
curl*Dec 11
linux-c7-curl*Dec 11
wiresharkDec 10
procmail*Dec 08
opensslDec 07
firefoxDec 05
firefox-esrDec 05
linux-firefoxDec 05
linux-seamonkeyDec 05
seamonkeyDec 05
waterfoxDec 05
mybbDec 02
varnish4Dec 02
varnish5Dec 02
asterisk13Dec 01

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

* - modified, not new

All vulnerabilities

Last updated:
2017-12-11 14:55:48


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32082
Broken 122
Deprecated 39
Ignore 357
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 44
Expired 11
Set to expire 31
Interactive 0
new 24 hours 1
new 48 hours6
new 7 days77
new fortnight35601
new month50888

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