diff options
Diffstat (limited to 'src/input/Makefile.pamphlet')
| -rw-r--r-- | src/input/Makefile.pamphlet | 12 |
1 files changed, 4 insertions, 8 deletions
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 \ |