diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-10 17:57:40 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-10 17:57:40 +0200 |
| commit | 2ba6daf409c2427767a3d2dd74aa53d9242da4ae (patch) | |
| tree | 78bcc676f877c582154b4fd161313944719f48d8 /Makefile | |
| parent | d398f6fba2cd9abc875842a21b7c63b952808298 (diff) | |
| parent | d3eba50731c23546c6e9ccb14230460fc1da592e (diff) | |
| download | compcert-kvx-2ba6daf409c2427767a3d2dd74aa53d9242da4ae.tar.gz compcert-kvx-2ba6daf409c2427767a3d2dd74aa53d9242da4ae.zip | |
Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-non-trapping-load
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -88,6 +88,7 @@ BACKEND=\ NeedDomain.v NeedOp.v Deadcode.v Deadcodeproof.v \ Unusedglob.v Unusedglobproof.v \ Machregs.v Locations.v Conventions1.v Conventions.v LTL.v \ + Allnontrap.v Allnontrapproof.v \ Allocation.v Allocproof.v \ Tunneling.v Tunnelingproof.v \ Linear.v Lineartyping.v \ |