The following patches are needed in order to build GNAT with EGCS. These patches were tested with egcs-980308 and gnat-3.10p on a mips-sgi-irix6.3 system. The gnat build succeeded as per the instructions in the gnat README.BUILD file for building one library, except that CFLAGS="-O -g" and GNATLIBCFLAGS="-O -g" were substituted for the recommended "-O2" so that the build could be debugged. There was no attempt to run the resulting build against any testsuite or validation suite. -- Developers Notes: Every use of sizetype in the Ada front end should be checked to see if perhaps it should be using bitsizetype instead. The change to maybe_pad_type is just a hack to work around this problem, and may not be desirable in the long term. There are many places in the Ada front end where it calls operand_equal_p to see if two type sizes are the same. operand_equal_p fails if the two arguments have different TYPE_MODEs. sizetype and bitsizetype can have different TYPE_MODEs. Thus this code can fail if one type size is based on sizetype, and the other is based on bitsizetype. The change to maybe_pad_type fixes one very critical place where this happens. There may be others. -- Mon Mar 16 11:00:25 1998 Jim Wilson * a-gtran3.c (maybe_pad_type): Convert both size and orig_size to sizetype if they have differing modes. * a-misc.c (gnat_tree_code_type): Change from string to char array. (init_lex): Delete realloc calls for tree_code_* globals. Adjust bcopy call for gnat_tree_code_type change. * a-tree.def: Adjust for tree_code_* type changes. * a-misc.c (init_lex): Rename to init_parse. diff -c ada/a-gtran3.c /home/brolley/comp/egcs/tmp/ada/a-gtran3.c *** ada/a-gtran3.c Mon Mar 30 16:29:04 1998 --- /home/brolley/comp/egcs/tmp/ada/a-gtran3.c Thu Apr 2 17:16:15 1998 *************** *** 3329,3334 **** --- 3329,3341 ---- isn't changing. Likewise, clear the alignment if it isn't being changed. Then return if we aren't doing anything. */ + if (size != 0 + && TYPE_MODE (TREE_TYPE (size)) != TYPE_MODE (TREE_TYPE (orig_size))) + { + size = convert (sizetype, size); + orig_size = convert (sizetype, orig_size); + } + if (size != 0 && (operand_equal_p (size, orig_size, 0) || (TREE_CODE (orig_size) == INTEGER_CST diff -c ada/a-misc.c /home/brolley/comp/egcs/tmp/ada/a-misc.c *** ada/a-misc.c Mon Mar 30 16:29:05 1998 --- /home/brolley/comp/egcs/tmp/ada/a-misc.c Thu Apr 2 17:36:19 1998 *************** *** 70,77 **** #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE, ! char *gnat_tree_code_type[] = { ! "x", #include "a-tree.def" }; #undef DEFTREECODE --- 70,77 ---- #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE, ! char gnat_tree_code_type[] = { ! 'x', #include "a-tree.def" }; #undef DEFTREECODE *************** *** 254,259 **** --- 254,268 ---- print_lang_statistics () {} + void + lang_print_xnode (file, node, indent) + FILE *file; + tree node; + int indent; + { + } + + /* integrate_decl_tree calls this function, but since we don't use the DECL_LANG_SPECIFIC field, this is a no-op. */ *************** *** 603,622 **** it, but it's where g++ does it. */ void ! init_lex () { lang_expand_expr = gnat_expand_expr; - tree_code_type - = (char **) realloc (tree_code_type, - sizeof (char *) * LAST_GNAT_TREE_CODE); - tree_code_length - = (int *) realloc (tree_code_length, - sizeof (int) * LAST_GNAT_TREE_CODE); - tree_code_name - = (char **) realloc (tree_code_name, - sizeof (char *) * LAST_GNAT_TREE_CODE); - bcopy ((char *) gnat_tree_code_type, (char *) (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE), ((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE) --- 612,622 ---- it, but it's where g++ does it. */ void ! init_parse (filename) ! char *filename; { lang_expand_expr = gnat_expand_expr; bcopy ((char *) gnat_tree_code_type, (char *) (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE), ((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE) *************** *** 629,636 **** bcopy ((char *) gnat_tree_code_name, (char *) (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE), ! ((LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE) ! * sizeof (char *))); } /* Sets some debug flags for the parsed. It does nothing here. */ --- 629,640 ---- bcopy ((char *) gnat_tree_code_name, (char *) (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE), ! LAST_GNAT_TREE_CODE - (int) LAST_AND_UNUSED_TREE_CODE); ! } ! ! void ! finish_parse () ! { } /* Sets some debug flags for the parsed. It does nothing here. */ diff -c ada/a-tree.def /home/brolley/comp/egcs/tmp/ada/a-tree.def *** ada/a-tree.def Mon Mar 30 16:29:09 1998 --- /home/brolley/comp/egcs/tmp/ada/a-tree.def Thu Apr 2 17:20:38 1998 *************** *** 31,69 **** The only field used if TREE_COMPLEXITY, which contains the GNAT node number. */ ! DEFTREECODE (TRANSFORM_EXPR, "transform_expr", "e", 0) /* Perform an unchecked conversion between the input and the output. if TREE_ADDRESSABLE is set, it means this is in an LHS; in that case, we can only use techniques, such as pointer punning, that leave the expression a "name". */ ! DEFTREECODE (UNCHECKED_CONVERT_EXPR, "unchecked_convert_expr", "1", 1) /* A type that is an unconstrained array itself. This node is never passed to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE is the type of a record containing the template and data. */ ! DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE, "unconstrained_array_type", "t", 0) /* A reference to an unconstrained array. This node only exists as an intermediate node during the translation of a GNAT tree to a GCC tree; it is never passed to GCC. The only field used is operand 0, which is the fat pointer object. */ ! DEFTREECODE (UNCONSTRAINED_ARRAY_REF, "unconstrained_array_ref", "r", 1) /* An expression that returns an RTL suitable for its type. Operand 0 is an expression to be evaluated for side effects only. */ ! DEFTREECODE (NULL_EXPR, "null_expr", "e", 1) /* An expression that emits a USE for its single operand. */ ! DEFTREECODE (USE_EXPR, "use_expr", "e", 1) /* An expression that is treated as a conversion while generating code, but is used to prevent infinite recursion when conversions of biased types are involved. */ ! DEFTREECODE (GNAT_NOP_EXPR, "gnat_nop_expr", "1", 1) --- 31,69 ---- The only field used if TREE_COMPLEXITY, which contains the GNAT node number. */ ! DEFTREECODE (TRANSFORM_EXPR, "transform_expr", 'e', 0) /* Perform an unchecked conversion between the input and the output. if TREE_ADDRESSABLE is set, it means this is in an LHS; in that case, we can only use techniques, such as pointer punning, that leave the expression a "name". */ ! DEFTREECODE (UNCHECKED_CONVERT_EXPR, "unchecked_convert_expr", '1', 1) /* A type that is an unconstrained array itself. This node is never passed to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE is the type of a record containing the template and data. */ ! DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE, "unconstrained_array_type", 't', 0) /* A reference to an unconstrained array. This node only exists as an intermediate node during the translation of a GNAT tree to a GCC tree; it is never passed to GCC. The only field used is operand 0, which is the fat pointer object. */ ! DEFTREECODE (UNCONSTRAINED_ARRAY_REF, "unconstrained_array_ref", 'r', 1) /* An expression that returns an RTL suitable for its type. Operand 0 is an expression to be evaluated for side effects only. */ ! DEFTREECODE (NULL_EXPR, "null_expr", 'e', 1) /* An expression that emits a USE for its single operand. */ ! DEFTREECODE (USE_EXPR, "use_expr", 'e', 1) /* An expression that is treated as a conversion while generating code, but is used to prevent infinite recursion when conversions of biased types are involved. */ ! DEFTREECODE (GNAT_NOP_EXPR, "gnat_nop_expr", '1', 1) This patch from Fred Fish to GNAT may make building simpler. We haven't tested it. > I put a very short blurb in the faq. GNAT is complicated enough that > we should probably write a whole page on how to build/install it. You may want to use some or all of these patches: * Make-lang.in (gnattools): Depends upon GCC_PARTS. (ada.start.encap): Depends upon gnattools. (ada.rest.encap): Depends upon gnatlib. * Makefile.in (../stamp-gnatlib1): Since we are still in the rts subdir when the rule runs, we need to touch ../../stamp-gnatlib1. (../stamp-gnatlib1): Don't unconditionally remove the rts directory, create it if one does not exist. (gnatlib): Remove superflous leading blank char at *-*-pe line. * a-init.c: Define NULL if not yet defined. Index: Make-lang.in =================================================================== RCS file: /cvsroot/gg/egcs/gcc/ada/Make-lang.in,v retrieving revision 1.1.1.1 retrieving revision 1.3 diff -c -r1.1.1.1 -r1.3 *** Make-lang.in 1997/10/17 06:19:09 1.1.1.1 --- Make-lang.in 1998/03/17 14:26:14 1.3 *************** *** 100,106 **** # use host-gcc # getopt*.o has to be built before CC=../xgcc ! gnattools: getopt.o getopt1.o force $(MAKE) $(FLAGS_TO_PASS) $(ADA_FLAGS_TO_PASS)\ CC="../xgcc -B../" GNATBIND="../gnatbind" \ gnatf gnatlink gnatkr gnatmake gnatcmd gnatprep \ --- 100,107 ---- # use host-gcc # getopt*.o has to be built before CC=../xgcc ! # GCC_PARTS has to be built before CC=../xgcc ! gnattools: getopt.o getopt1.o $(GCC_PARTS) force $(MAKE) $(FLAGS_TO_PASS) $(ADA_FLAGS_TO_PASS)\ CC="../xgcc -B../" GNATBIND="../gnatbind" \ gnatf gnatlink gnatkr gnatmake gnatcmd gnatprep \ *************** *** 163,170 **** -if [ -f gnatls$(exeext) ] ; then\ mv gnatls$(exeext) gnatls-cross$(exeext); fi ! ada.start.encap: ! ada.rest.encap: ada.info: ada.dvi: --- 164,171 ---- -if [ -f gnatls$(exeext) ] ; then\ mv gnatls$(exeext) gnatls-cross$(exeext); fi ! ada.start.encap: gnattools ! ada.rest.encap: gnatlib ada.info: ada.dvi: Index: Makefile.in =================================================================== RCS file: /cvsroot/gg/egcs/gcc/ada/Makefile.in,v retrieving revision 1.1.1.1 retrieving revision 1.5 diff -c -r1.1.1.1 -r1.5 *** Makefile.in 1997/10/17 06:19:09 1.1.1.1 --- Makefile.in 1998/02/19 14:16:34 1.5 *************** *** 798,806 **** # 3. copy 3xyyy.ad[sb] -->-- i-yyy.ad[sb] ../stamp-gnatlib1: Makefile ../stamp-gnatlib2 ! rm -rf rts ! mkdir rts ! chmod u+w rts (\ case $(target) in \ sparc-sun-sunos4*) letter=u ;;\ --- 800,806 ---- # 3. copy 3xyyy.ad[sb] -->-- i-yyy.ad[sb] ../stamp-gnatlib1: Makefile ../stamp-gnatlib2 ! if [ -d rts ]; then true; else mkdir rts; chmod u+w rts; fi (\ case $(target) in \ sparc-sun-sunos4*) letter=u ;;\ *************** *** 888,894 **** done;; \ esac ; \ rm -f ../stamp-gnatlib ; \ ! touch ../stamp-gnatlib1) gnatlib-common: ../stamp-gnatlib1 (subdir=`cd $(srcdir); pwd`; \ --- 888,894 ---- done;; \ esac ; \ rm -f ../stamp-gnatlib ; \ ! touch ../../stamp-gnatlib1) gnatlib-common: ../stamp-gnatlib1 (subdir=`cd $(srcdir); pwd`; \ *************** *** 923,929 **** mips-sni-* |\ *-*-cygwin32* |\ *-*-mingw32* |\ ! *-*-pe |\ *) \ \ $(MAKE) CC="../../xgcc -B../../" \ --- 923,929 ---- mips-sni-* |\ *-*-cygwin32* |\ *-*-mingw32* |\ ! *-*-pe |\ *) \ \ $(MAKE) CC="../../xgcc -B../../" \ Index: a-init.c =================================================================== RCS file: /cvsroot/gg/egcs/gcc/ada/a-init.c,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -c -r1.1.1.1 -r1.2 *** a-init.c 1997/10/17 06:19:10 1.1.1.1 --- a-init.c 1998/01/04 23:11:42 1.2 *************** *** 516,521 **** --- 516,525 ---- __gnat_raise (exception); } + #ifndef NULL + #define NULL 0 + #endif + static void __gnat_install_handler () { Wed Jun 24 15:06:09 1998 Dave Brolley * a-misc.c (lang_decode_option): New interface. * a-misc.h (lang_decode_option): New interface. *** /home/brolley/tmp/a-misc.c Wed Jun 24 15:01:22 1998 --- ada/a-misc.c Wed Jun 24 15:02:42 1998 *************** init_gnat_args () *** 162,170 **** it returns 0. */ int ! lang_decode_option (p) ! char *p; { extern int save_argc; extern char **save_argv; --- 162,172 ---- it returns 0. */ int ! lang_decode_option (argc, argv) ! int argc; ! char **argv; { + char *p = argv[0]; extern int save_argc; extern char **save_argv; *** /home/brolley/tmp/a-misc.h Wed Jun 24 15:01:22 1998 --- ada/a-misc.h Wed Jun 24 15:03:20 1998 *************** enum gnat_tree_code { *** 63,69 **** option decoding phase of GCC calls this routine on the flags that it cannot decode. This routine returns 1 if it is successful, otherwise it returns 0. */ ! extern int lang_decode_option PROTO((char *)); /* Perform all the initialization steps that are language-specific. */ extern void lang_init PROTO((void)); --- 63,69 ---- option decoding phase of GCC calls this routine on the flags that it cannot decode. This routine returns 1 if it is successful, otherwise it returns 0. */ ! extern int lang_decode_option PROTO((int, char **)); /* Perform all the initialization steps that are language-specific. */ extern void lang_init PROTO((void));