diff options
Diffstat (limited to 'src/input')
| -rw-r--r-- | src/input/ChangeLog | 4 | ||||
| -rw-r--r-- | src/input/Makefile.in | 6 | ||||
| -rw-r--r-- | src/input/Makefile.pamphlet | 12 |
3 files changed, 10 insertions, 12 deletions
diff --git a/src/input/ChangeLog b/src/input/ChangeLog index 2c2cfe54..20632c1e 100644 --- a/src/input/ChangeLog +++ b/src/input/ChangeLog @@ -1,3 +1,7 @@ +2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * Makefile.pamphlet (TESTSYS): Tidy. + 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-ax all-input): Remove regress. diff --git a/src/input/Makefile.in b/src/input/Makefile.in index 426fce8f..14a2fc4f 100644 --- a/src/input/Makefile.in +++ b/src/input/Makefile.in @@ -539,10 +539,8 @@ distclean-local: clean-local .SUFFIXES: .SUFFIXES: .input .output -TESTSYS= \ - AXIOM="$(AXIOM)" \ - DAASE="$(axiom_targetdir)" \ - $(axiom_target_bindir)/AXIOMsys +TESTSYS= $(axiom_target_bindir)/AXIOMsys -- --system="$(AXIOM)" \ + --sysalg="$(axiom_targetdir)/algebra/" SKIP= antoine.output as-eg1.output as-eg2.output \ as-eg3.output as-eg4.output as-eg5.output as-eg6.output \ diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index 7e5b4860..2015a74c 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -77,10 +77,8 @@ pamphlets = \ .SUFFIXES: .SUFFIXES: .input .out -TESTSYS= \ - AXIOM="$(AXIOM)" \ - DAASE="$(axiom_targetdir)" \ - $(axiom_target_bindir)/AXIOMsys +TESTSYS= $(axiom_target_bindir)/AXIOMsys -- --system="$(AXIOM)" \ + --sysalg="$(axiom_targetdir)/algebra/" IN= $(axiom_src_srcdir)/input @@ -158,10 +156,8 @@ to the list. .SUFFIXES: .SUFFIXES: .input .output -TESTSYS= \ - AXIOM="$(AXIOM)" \ - DAASE="$(axiom_targetdir)" \ - $(axiom_target_bindir)/AXIOMsys +TESTSYS= $(axiom_target_bindir)/AXIOMsys -- --system="$(AXIOM)" \ + --sysalg="$(axiom_targetdir)/algebra/" SKIP= antoine.output as-eg1.output as-eg2.output \ as-eg3.output as-eg4.output as-eg5.output as-eg6.output \ |