diff options
| -rw-r--r-- | .gdbinit | 68 | ||||
| -rw-r--r-- | README | 43 |
2 files changed, 111 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 0000000..946ebef --- /dev/null +++ b/.gdbinit @@ -0,0 +1,68 @@ +#break __gnat_raise +#break ada__exceptions__raise_exception +break __gnat_raise_nodefer_with_msg + +define pt +call disp_tree ($arg0, 0, 0) +end + +document pt +Print the structure of the iirs that is $arg0. +end + +define prt +set lang c +print (iirs__iir *) $ +set lang ada +end + +define pl +call disp_tree_list ($arg0, 0, 0) +end + +document pl +Print the list of iirs that is $arg0. +end + +define plf +call disp_tree_list ($arg0, 0, 1) +end + +document plf +Print flatly the list of iirs that is $arg0. +end + +define ptf +call disp_tree_flat ($arg0, 0) +end + +document ptf +Print the iirs that is $arg0. +end + +define ptf1 +call disp_tree ($, 0, 1) +end + +document ptf1 +Print the iirs that is $. +end + +define pv +call disp_value ($) +end + +document pv +Print the value that is $. +end + +define ploc +call disp_iir_location ($arg0.all) +end + +document ploc +Print the location for iir_acc $. +end + +set lang ada +#break exception @@ -0,0 +1,43 @@ +This directory contains the sources of GHDL, the VHDL simulator. + +GHDL is free software. See the file COPYING for copying permission. +The manuals, and some of the runtime libraries, are under different +terms; see the individual source files for details. + +GHDL requires GCC to be compiled. The exact version of GCC is defined in +./translate/gcc/dist.sh, in the GCCVERSION= line. Do not try to change the +version, this may not compile or create a buggy compiler. + +The GHDL sources provided on http://ghdl.free.fr do not exactly match the +files hierarchy here. The later are used to directly build a compiler and +follow what GCC expect, while the former are used to do development and +are more logically organized. + +Use the ./translate/gcc/dist.sh script to create sources to be included in GCC: +$ cd translate/gcc +$ ./dist.sh sources +# This generates a ghdl-VERSION.tar.bz2 file. + + +These steps can make GHDL development hard. You can avoid to compile GCC +everytime. To do this, edit ortho/gcc/Makefile and set two variables: +AGCC_GCCSRC_DIR is the GCC sources directory, while AGCC_GCCOBJ_DIR is where +you have compiled GCC+GHDL once. Then, you can compile: +the GHDL back-end (ghdl1) in ./translate: + $ make BE=gcc +the GHDL driver in ./translate/ghdldrv: + $ make ghdl_gcc +the GHDL run-time (GRT) in ./translate/grt: + $ make +To use this GRT, you must create two links in translate/lib: + $ ln -s ../grt/grt.lst . + $ ln -s ../grt/libgrt.a . +You should also compile the VHDL libraries: + $ cd translate/ghdldrv + $ make install.all + +Once this is done, you can use the ghdl_gcc from translate/ghdldrv. + +Tristan. + + |