notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
libspark2012 SPARK 2012 Spark.Ada library
2012_3 devel 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 View this port on Repology. pkg-fallout 2012_3Version of this port present on the latest quarterly branch.
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: 2014-02-17 11:17:41
Last Update: 2022-02-28 21:34:25
Commit Hash: 8e2a89b
License: GPLv3
WWW:
http://www.spark-2014.org
Description:
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
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (59 items)
Collapse this list.
  1. /usr/local/share/licenses/libspark2012-2012_3/catalog.mk
  2. /usr/local/share/licenses/libspark2012-2012_3/LICENSE
  3. /usr/local/share/licenses/libspark2012-2012_3/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. @owner
  58. @group
  59. @mode
Collapse this list.
Dependency lines:
  • libspark2012>0:devel/libspark2012
No installation instructions:
This port has been deleted.
PKGNAME: libspark2012
Flavors: there is no flavor information for this port.
distinfo:
SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2 SIZE (libspark2012-2012.tar.bz2) = 23773

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ada : lang/gcc6-aux
NOTE: dependencies for deleted ports are notoriously suspect
This port is required by:
for Build

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. dns/ironsides*
  2. Collapse this list of deleted ports.
* - 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
Options name:
devel_libspark2012
USES:
ada tar:bzip2
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://downloads.dragonlace.net/src/
Collapse this list.
Port Moves
  • port deleted on 2022-02-28
    REASON: Removed, depends on expired lang/gcc6-aux

Number of commits found: 12

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2012_3
28 Feb 2022 21:34:25
commit hash: 8e2a89b541867f9b43bfefc59a9af5245cdb4c2ccommit hash: 8e2a89b541867f9b43bfefc59a9af5245cdb4c2ccommit hash: 8e2a89b541867f9b43bfefc59a9af5245cdb4c2ccommit hash: 8e2a89b541867f9b43bfefc59a9af5245cdb4c2c files touched by this commit
Rene Ladan (rene) search for other commits by this committer
cleanup: Remove ports depending on expired lang/gcc6-aux

Keep ports-mgmt/synth and dependencies (including lang/gcc6-aux itself)
for now as synth is the only Ada port still maintained and might be
somewhat high-profile.

Removed ports:
archivers/zip-ada
cad/ghdl
databases/adabase
databases/apq
databases/apq-mysql
databases/apq-odbc
databases/apq-pgsql
devel/ada-util
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2012_3
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2012_3
10 Mar 2018 17:46:06
Revision:464084Original commit files touched by this commit
gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
2012_2
21 Apr 2017 20:25:01
Revision:439129Original commit files touched by this commit
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
2012_2
15 Feb 2017 21:33:11
Revision:434195Original commit files touched by this commit
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.
2012_2
11 Feb 2017 12:42:30
Revision:433856Original commit files touched by this commit
rene search for other commits by this committer
Return ports maintained by John Marino to the pool, see r433827 for details
2012_2
27 Aug 2016 23:11:34
Revision:421003Original commit files touched by this commit
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.
2012_1
11 Apr 2016 13:54:23
Revision:413032Original commit files touched by this commit
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.
2012_1
16 Oct 2014 10:36:15
Revision:370993Original commit files touched by this commit
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
2012_1
29 Jul 2014 18:41:17
Revision:363371Original commit files touched by this commit 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)
2012_1
19 Feb 2014 02:19:43
Revision:344986Original commit files touched by this commit
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.
2012
17 Feb 2014 11:17:31
Revision:344726Original commit files touched by this commit
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: 12