mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-22 08:58:47 +00:00
bdd2b41345
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.
57 lines
2.3 KiB
Plaintext
57 lines
2.3 KiB
Plaintext
include/spark2012/spark-ada-command_line-unbounded_string.adb
|
|
include/spark2012/spark-ada-command_line-unbounded_string.ads
|
|
include/spark2012/spark-ada-command_line.adb
|
|
include/spark2012/spark-ada-command_line.ads
|
|
include/spark2012/spark-ada-containers.ads
|
|
include/spark2012/spark-ada-strings-maps-not_spark.adb
|
|
include/spark2012/spark-ada-strings-maps-not_spark.ads
|
|
include/spark2012/spark-ada-strings-maps.adb
|
|
include/spark2012/spark-ada-strings-maps.ads
|
|
include/spark2012/spark-ada-strings-not_spark.adb
|
|
include/spark2012/spark-ada-strings-not_spark.ads
|
|
include/spark2012/spark-ada-strings-unbounded-not_spark.adb
|
|
include/spark2012/spark-ada-strings-unbounded-not_spark.ads
|
|
include/spark2012/spark-ada-strings-unbounded.adb
|
|
include/spark2012/spark-ada-strings-unbounded.ads
|
|
include/spark2012/spark-ada-strings.ads
|
|
include/spark2012/spark-ada-text_io-not_spark.adb
|
|
include/spark2012/spark-ada-text_io-not_spark.ads
|
|
include/spark2012/spark-ada-text_io-unbounded_string.adb
|
|
include/spark2012/spark-ada-text_io-unbounded_string.ads
|
|
include/spark2012/spark-ada-text_io.adb
|
|
include/spark2012/spark-ada-text_io.ads
|
|
include/spark2012/spark-ada.ads
|
|
include/spark2012/spark-crypto-debug.adb
|
|
include/spark2012/spark-crypto-debug.ads
|
|
include/spark2012/spark-crypto-hash-skein.adb
|
|
include/spark2012/spark-crypto-hash-skein.ads
|
|
include/spark2012/spark-crypto-hash.ads
|
|
include/spark2012/spark-crypto.ads
|
|
include/spark2012/spark-unsigned.adb
|
|
include/spark2012/spark-unsigned.ads
|
|
include/spark2012/spark.ads
|
|
lib/gnat/spark2012.gpr
|
|
lib/spark2012/libspark2012.a
|
|
lib/spark2012/spark-ada-command_line-unbounded_string.ali
|
|
lib/spark2012/spark-ada-command_line.ali
|
|
lib/spark2012/spark-ada-containers.ali
|
|
lib/spark2012/spark-ada-strings-maps-not_spark.ali
|
|
lib/spark2012/spark-ada-strings-maps.ali
|
|
lib/spark2012/spark-ada-strings-not_spark.ali
|
|
lib/spark2012/spark-ada-strings-unbounded-not_spark.ali
|
|
lib/spark2012/spark-ada-strings-unbounded.ali
|
|
lib/spark2012/spark-ada-strings.ali
|
|
lib/spark2012/spark-ada-text_io-not_spark.ali
|
|
lib/spark2012/spark-ada-text_io-unbounded_string.ali
|
|
lib/spark2012/spark-ada-text_io.ali
|
|
lib/spark2012/spark-ada.ali
|
|
lib/spark2012/spark-crypto-debug.ali
|
|
lib/spark2012/spark-crypto-hash-skein.ali
|
|
lib/spark2012/spark-crypto-hash.ali
|
|
lib/spark2012/spark-crypto.ali
|
|
lib/spark2012/spark-unsigned.ali
|
|
lib/spark2012/spark.ali
|
|
@dirrm lib/spark2012
|
|
@dirrmtry lib/gnat
|
|
@dirrm include/spark2012
|