diff options
Diffstat (limited to 'src/etc/Makefile.in')
| -rw-r--r-- | src/etc/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in index 6052ffb7..1d2c05a5 100644 --- a/src/etc/Makefile.in +++ b/src/etc/Makefile.in @@ -29,8 +29,11 @@ # NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +DRIVER = ../driver/open-axiom$(EXEEX) -INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \ +INTERPSYS = \ + $(DRIVER) --execpath=../interp/interpsys$(EXEEXT) \ + --system="$(AXIOM)" \ --sysalg="$(axiom_src_datadir)/algebra/" openaxiom_databases = \ |