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
libspark2012 SPARK 2012 Spark.Ada library
2012_2 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

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: 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 : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (56 items)
  1. /usr/local/share/licenses/libspark2012-2012_2/catalog.mk
  2. /usr/local/share/licenses/libspark2012-2012_2/LICENSE
  3. /usr/local/share/licenses/libspark2012-2012_2/GPLv3
  4. include/spark2012/spark-ada-command_line-unbounded_string.adb
  5. include/spark2012/spark-ada-command_line-unbounded_string.ads
  6. include/spark2012/spark-ada-command_line.adb
  7. include/spark2012/spark-ada-command_line.ads
  8. include/spark2012/spark-ada-containers.ads
  9. include/spark2012/spark-ada-strings-maps-not_spark.adb
  10. include/spark2012/spark-ada-strings-maps-not_spark.ads
  11. include/spark2012/spark-ada-strings-maps.adb
  12. include/spark2012/spark-ada-strings-maps.ads
  13. include/spark2012/spark-ada-strings-not_spark.adb
  14. include/spark2012/spark-ada-strings-not_spark.ads
  15. include/spark2012/spark-ada-strings-unbounded-not_spark.adb
  16. include/spark2012/spark-ada-strings-unbounded-not_spark.ads
  17. include/spark2012/spark-ada-strings-unbounded.adb
  18. include/spark2012/spark-ada-strings-unbounded.ads
  19. include/spark2012/spark-ada-strings.ads
  20. include/spark2012/spark-ada-text_io-not_spark.adb
  21. include/spark2012/spark-ada-text_io-not_spark.ads
  22. include/spark2012/spark-ada-text_io-unbounded_string.adb
  23. include/spark2012/spark-ada-text_io-unbounded_string.ads
  24. include/spark2012/spark-ada-text_io.adb
  25. include/spark2012/spark-ada-text_io.ads
  26. include/spark2012/spark-ada.ads
  27. include/spark2012/spark-crypto-debug.adb
  28. include/spark2012/spark-crypto-debug.ads
  29. include/spark2012/spark-crypto-hash-skein.adb
  30. include/spark2012/spark-crypto-hash-skein.ads
  31. include/spark2012/spark-crypto-hash.ads
  32. include/spark2012/spark-crypto.ads
  33. include/spark2012/spark-unsigned.adb
  34. include/spark2012/spark-unsigned.ads
  35. include/spark2012/spark.ads
  36. lib/gnat/spark2012.gpr
  37. lib/spark2012/libspark2012.a
  38. lib/spark2012/spark-ada-command_line-unbounded_string.ali
  39. lib/spark2012/spark-ada-command_line.ali
  40. lib/spark2012/spark-ada-containers.ali
  41. lib/spark2012/spark-ada-strings-maps-not_spark.ali
  42. lib/spark2012/spark-ada-strings-maps.ali
  43. lib/spark2012/spark-ada-strings-not_spark.ali
  44. lib/spark2012/spark-ada-strings-unbounded-not_spark.ali
  45. lib/spark2012/spark-ada-strings-unbounded.ali
  46. lib/spark2012/spark-ada-strings.ali
  47. lib/spark2012/spark-ada-text_io-not_spark.ali
  48. lib/spark2012/spark-ada-text_io-unbounded_string.ali
  49. lib/spark2012/spark-ada-text_io.ali
  50. lib/spark2012/spark-ada.ali
  51. lib/spark2012/spark-crypto-debug.ali
  52. lib/spark2012/spark-crypto-hash-skein.ali
  53. lib/spark2012/spark-crypto-hash.ali
  54. lib/spark2012/spark-crypto.ali
  55. lib/spark2012/spark-unsigned.ali
  56. lib/spark2012/spark.ali
  57. Collapse this list.

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

PKGNAME: libspark2012

distinfo:

SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2
SIZE (libspark2012-2012.tar.bz2) = 23773


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

Build dependencies:
  1. ada : lang/gcc6-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...
Configuration Options
     No options to configure

USES:
ada tar:bzip2

Master Sites:
  1. http://downloads.dragonlace.net/src/

Number of commits found: 9

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
21 Apr 2017 20:25:01
Original commit files touched by this commit  2012_2
Revision:439129
rene search for other commits by this committer
Return ports maintained by John Marino to the pool, he is no longer interested.

Submitted by:	Mark Millard via private e-mail
15 Feb 2017 21:33:11
Original commit files touched by this commit  2012_2
Revision:434195
rene search for other commits by this committer
Return the ports mistakenly reset to ports@ in r433856 to John Marino.

The mistake was completely on my part, I somehow connected the dots the
wrong way in my head.

The only exceptions (for now) are archivers/zstd and ports-mgmt/synth
which were already picked up by new volunteers in the mean time.
11 Feb 2017 12:42:30
Original commit files touched by this commit  2012_2
Revision:433856
rene search for other commits by this committer
Return ports maintained by John Marino to the pool, see r433827 for details
27 Aug 2016 23:11:34
Original commit files touched by this commit  2012_2
Revision:421003
marino search for other commits by this committer
dns/ironsides finally builds on gcc6-aux, switch over to it

It appears the previous STORAGE ERROR was a compiler bug that got fixed
between the GCC 6.1 and 6.2 versions of gcc6-aux.  Switch it and the
helper port devel/libspark2012 over to it, which are the last two ports
that depend on lang/gcc6-aux.
11 Apr 2016 13:54:23
Original commit files touched by this commit  2012_1
Revision:413032
marino search for other commits by this committer
Restrict dns/ironsides to gcc5-aux only

Right now, ironsides emits a STORAGE ERROR during building with
lang/gcc6-aux.  It's unclear if the problem lies with compiler or with
ironsides.  For now, limit building it with gcc5-aux (the default).

The USES=ada:5 setting wasn't supported, but it should have been.  This
has also been fixed.
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: 9

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 32120
Broken 121
Deprecated 43
Ignore 356
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 44
Expired 14
Set to expire 35
Interactive 0
new 24 hours 8
new 48 hours11
new 7 days77
new fortnight18993
new month48558

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