diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-25 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-25 08:01:00 -0700 |
| commit | 1afa8a2f38bacb9f2f8faaf06b4f01c70560a419 (patch) | |
| tree | 8aa41b5eea9d26befaf1604e8cc6c61b59eaef1b /Makefile | |
| parent | 2c96c8af36446d3b855e07d78975cfad50c2917c (diff) | |
| download | abc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.tar.gz abc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.tar.bz2 abc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.zip | |
Version abc80725
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -24,7 +24,8 @@ MODULES := \ 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/saig src/aig/bbr + src/aig/mfx src/aig/tim src/aig/saig src/aig/bbr \ + src/aig/int default: $(PROG) |