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 /src/driver/Makefile.in | |
| parent | 06e82157a75ebb6f14dae6a76a9e3a2b883b2c7a (diff) | |
| download | open-axiom-6b365f926f1f0430c34498392e1dddbff126bc48.tar.gz | |
Add support for batch processing.
Diffstat (limited to 'src/driver/Makefile.in')
| -rw-r--r-- | src/driver/Makefile.in | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/driver/Makefile.in b/src/driver/Makefile.in index 0a1ba801..f64cfab0 100644 --- a/src/driver/Makefile.in +++ b/src/driver/Makefile.in @@ -1,4 +1,4 @@ -# Copyright (C) 2007, Gabriel Dos Reis. +# Copyright (C) 2007-2008, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -30,11 +30,11 @@ # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -bin_PROGRAMS = axiom$(EXEEXT) +bin_PROGRAMS = open-axiom$(EXEEXT) -axiom_SOURCES = main.c +open_axiom_SOURCES = main.c utils.c -axiom_objects = $(axiom_SOURCES:.c=.lo) +open_axiom_objects = $(open_axiom_SOURCES:.c=.lo) .PHONY: all all-ax all-driver @@ -55,8 +55,11 @@ stamp: $(bin_PROGRAMS) -DOPENAXIOM_ROOT_DIRECTORY="\"$(open_axiom_installdir)\"" \ $(axiom_includes) $< -axiom$(EXEEXT): $(axiom_objects) - $(LINK) -o $@ $< +utils.lo: utils.h +main.lo: utils.h + +open-axiom$(EXEEXT): $(open_axiom_objects) + $(LINK) -o $@ $(open_axiom_objects) mostlyclean-local: @rm -f $(axiom_objects) |