diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
| commit | 7ec48bc20de6209f311715f4b1479cb2e0a4d906 (patch) | |
| tree | 00ee497c28001a646f98407115f5541fb49adf83 /Makefile | |
| parent | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (diff) | |
| download | abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.gz abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.bz2 abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.zip | |
Version abc80420_2
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ MODULES := src/base/abc src/base/abci src/base/cmd \ src/aig/mem src/aig/dar src/aig/fra src/aig/cnf \ src/aig/csw src/aig/ioa src/aig/aig src/aig/kit \ src/aig/bdc src/aig/bar src/aig/ntl src/aig/nwk src/aig/mfx \ - src/aig/tim + src/aig/tim src/aig/saig default: $(PROG) |