diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:06:48 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:06:48 +0200 |
| commit | fd20ab4585d6e445cd9998ca33e70eb046613be1 (patch) | |
| tree | 7a0524a4a6ff38ebe2efc32df6d60f108c665cdd /Makefile | |
| parent | 63d12545c8b39b658c4a561667279f9ee4ce5baf (diff) | |
| download | smtcoq-fd20ab4585d6e445cd9998ca33e70eb046613be1.tar.gz smtcoq-fd20ab4585d6e445cd9998ca33e70eb046613be1.zip | |
No configure anymore
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ all: - cd src && ./configure.sh && $(MAKE) + cd src && $(MAKE) install: all cd src && $(MAKE) install |