diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-13 18:46:22 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-13 18:46:22 +0200 |
| commit | 6fea0ef0958b66711235659ac2cd7122afc04897 (patch) | |
| tree | 8e0cb3357cb4bf581f2219d71e0a152031f83c55 /Makefile | |
| parent | 1915258c8b2cd2e171bbce93658047a765232bc9 (diff) | |
| download | compcert-6fea0ef0958b66711235659ac2cd7122afc04897.tar.gz compcert-6fea0ef0958b66711235659ac2cd7122afc04897.zip | |
Added a file containing definitions for the types used to store the debug information. The types follow the Current Attributes by Tag Value in Appendix 1 of the Dwarf 2 standard.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ include Makefile.config -DIRS=lib common $(ARCH) backend cfrontend driver \ +DIRS=lib common $(ARCH) backend cfrontend driver debug\ flocq/Core flocq/Prop flocq/Calc flocq/Appli exportclight \ cparser cparser/validator |