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

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
libspark2012 SPARK 2012 Spark.Ada library
2012_1 devel 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
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Port Added: 17 Feb 2014 11:17:41
License: GPLv3
At least one port requires exactly the Spark.Ada library that came
with SPARK 2012.  SPARK itself is not in ports -- SPARK 2014 is the
first version planned to arrive -- so this is a separately packaged
SPARK 2012 library to be compiled with the GNAT Ada compiler.

WWW: http://www.spark-2014.org
SVNWeb : Homepage : Distfiles Availability : PortsMon

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

Build dependencies:
  1. ada : lang/gcc-aux

This port is required by:

for Build * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/devel/libspark2012/ && make install clean
To add the package: pkg install devel/libspark2012


Configuration Options
     No options to configure

USES:
ada tar:bzip2

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://downloads.dragonlace.net/src/

Number of commits found: 4

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
16 Oct 2014 10:36:15
Original commit files touched by this commit  2012_1
Revision:370993
marino search for other commits by this committer
marino 12 devel ports: Remove @dirrm, tend install commands, plus

The main purpose of this commit is to remove @dirrm from the pkg-plist of
some of my ports in devel category.  While here, also:
  * Unmask some commands
  * Use parenthesis on compound commands for multi-job support
  * Add a license in one case
  * USES=python conversion in one case
  * Add WWW and reformat description in one case
  * Respect 80-columns
29 Jul 2014 18:41:17
Original commit files touched by this commit  2012_1
Revision:363371  Sanity Test Failure
adamw search for other commits by this committer
Convert a bunch of USE_BZIP2 to USES=tar:bzip2

Approved by:	portmgr (not really, but touches unstaged ports)
19 Feb 2014 02:19:43
Original commit files touched by this commit  2012_1
Revision:344986
marino search for other commits by this committer
devel/spark2012: Build the static library to stop ironsides leftovers

Without a static library present, gnatmake will build the objects it
needs in the base system -- that's not legal.

The original issue I had with this was using BSD_INSTALL_LIB which
stripped out the symbols in the static library, but I didn't realize
what was happening.  Now I know and the library is installed intact
with BSD_INSTALL_DATA.
17 Feb 2014 11:17:31
Original commit files touched by this commit  2012
Revision:344726
marino search for other commits by this committer
Add new port: devel/libspark2012

This is a source-files only Ada library required to build the upcoming
port dns/ironsides.

Number of commits found: 4

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
pcreMay 22
php5*May 22
php5May 22
php5May 22
php55*May 22
php55May 22
php55May 22
php56*May 22
php56May 22
php56May 22
postgresql90-serverMay 22
postgresql91-serverMay 22
postgresql92-serverMay 22
postgresql93-serverMay 22
postgresql94-serverMay 22

18 vulnerabilities affecting 46 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24805
Broken 223
Deprecated 64
Ignore 492
Forbidden 1
Restricted 204
No CDROM 95
Vulnerable 24
Expired 9
Set to expire 55
Interactive 0
new 24 hours 3
new 48 hours6
new 7 days37
new fortnight76
new month135

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