diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-02-10 04:48:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-02-10 04:48:39 +0000 |
| commit | 6b365f926f1f0430c34498392e1dddbff126bc48 (patch) | |
| tree | bdbc548cea2b0968863d9695bbdfc1732b16c3c5 /Makefile.pamphlet | |
| parent | 06e82157a75ebb6f14dae6a76a9e3a2b883b2c7a (diff) | |
| download | open-axiom-6b365f926f1f0430c34498392e1dddbff126bc48.tar.gz | |
Add support for batch processing.
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 7f55b280..c3a14132 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -565,9 +565,9 @@ install: @echo Installing OpenAxiom in $(prefix) @$(mkinstalldirs) "$(DESTDIR)$(open_axiom_installdir)" cp -pr "$(builddir)"/$(target)/* "$(DESTDIR)$(open_axiom_installdir)" - rm -f "$(bindir)"/axiom + rm -f "$(bindir)"/open-axiom @$(mkinstalldirs) "$(bindir)" - $(INSTALL_PROGRAM) src/driver/axiom$(EXEEXT) "$(bindir)" + $(INSTALL_PROGRAM) src/driver/open-axiom$(EXEEXT) "$(bindir)" @echo OpenAxiom installation finished. @ |