steve-cs gnat-builder issues

steve-cs / gnat-builder

Makefile for downloading and building gnat from github source

2 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

spark2014 build broken - undefined reference to `gnat_version_string'

#39 steve-cs opened 3 years ago
0
GCC 12.0.0 Crash while building lsp-types.adb (gps)

#38 steve-cs opened 3 years ago
0
Change GPR_PROJECT_PATH, suppress CLang lib patch.

#37 Blady-Com closed 3 years ago
1
GCC 11.0 crash while building gps-main.adb

#36 steve-cs closed 3 years ago
1
GPS in source dependances.

#35 Blady-Com closed 3 years ago
15
libadalang-tools - line is too long

#34 steve-cs closed 3 years ago
1
gps not working with python3

#33 steve-cs opened 3 years ago
1
libadalang-install patch should be reviewed

#32 steve-cs closed 3 years ago
1
gps-depends-debian runtime depency hacks should be replaced

#31 steve-cs closed 3 years ago
1
recent ada_language_server spawn commit breaks gps build

#30 steve-cs closed 3 years ago
1
Commit AdaCore/gps@1a90c16 breaks gps development build

#29 steve-cs closed 3 years ago
1
gnatstudio - can't find libspawn_glib.so and liblal_tools.so

#28 steve-cs opened 3 years ago
1
libadalang-tools reorg breaks gps build

#27 steve-cs closed 3 years ago
1
patch out "no effect" code in ada_language_server

#26 steve-cs closed 3 years ago
1
patch out unused "with GNAT.Case_Util;" in gps project_properties.adb

#25 steve-cs closed 3 years ago
1
GCC regression (gcc-mirror/gcc@ae99b31) breaks xmlada build

#24 steve-cs closed 3 years ago
2
Fix running gnatcoll-db makefiles in build folder instead in src folder.

#23 Blady-Com closed 3 years ago
0
Patch management discussion.

#22 Blady-Com closed 3 years ago
3
spark2014 build "E_Protected_Object" is undefined

#21 steve-cs closed 4 years ago
2
Proposal 05

#20 Blady-Com closed 4 years ago
3
gps build broken

#19 steve-cs closed 4 years ago
4
spark2014 fsf build broken (temporarily patched)

#18 steve-cs closed 4 years ago
1
Run failed: GNAT Bootstrap CI - master (934959d)

#17 Blady-Com closed 4 years ago
4
Alt-Ergo, CVC4 and Z3 are not build.

#16 Blady-Com closed 4 years ago
4
Proposal 04

#15 Blady-Com closed 4 years ago
5
SPARK GNAT BUG DETECTED (spark) GCC error.

#14 Blady-Com closed 4 years ago
9
GNATColl: Free_Knowledge_Base not declared in Knowledge.

#13 Blady-Com closed 4 years ago
2
SPARK: GNAT2Why issue.

#12 Blady-Com closed 4 years ago
6
May nuke /usr/local

#11 Keith-S-Thompson closed 4 years ago
3
make release fails when building xmlada

#10 steve-cs closed 5 years ago
1
Add support for GNATColl and GTKAda options.

#9 Blady-Com closed 5 years ago
4
Fix prefix for gnatcoll-core-install.

#8 Blady-Com closed 5 years ago
1
GTKAda: patching configure.

#7 Blady-Com closed 5 years ago
3
Libaadalang: license of withed unit "GNATCOLL.Refcount" may be inconsistent.

#6 Blady-Com closed 5 years ago
2
Unknown project file: "gnatcoll_sql".

#5 Blady-Com closed 5 years ago
3
fetching from mainline for testing

#4 luzidchris closed 5 years ago
1
ImportError: No module named gi.

#3 Blady-Com closed 5 years ago
3
ada language server missing from build

#2 steve-cs closed 5 years ago
0
Proposal 01

#1 Blady-Com closed 5 years ago
1