diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-08-16 22:55:39 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-16 22:55:39 +1000 |
| commit | d654fd5976437678a9f9ca19464fbf4593f0a740 (patch) | |
| tree | 99e16bd49daf343f66d6f38153fb1a69d989bf1d /makefile | |
| parent | 7299eb1594efddd424af5d5e7feb216306b60ce7 (diff) | |
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,6 +4,8 @@ SOURCEDIR = src EXECUTABLES = ${OUTPUTDIR}/wumpus +COMPILER = swipl + all: huntthewumpus @@ -17,4 +19,4 @@ distclean: huntthewumpus: - prolog --goal=play --stand_alone=true -o ${OUTPUTDIR}/wumpus -c ${SOURCEDIR}/main.prolog + ${COMPILER} --goal=play --stand_alone=true -o ${OUTPUTDIR}/wumpus -c ${SOURCEDIR}/main.prolog |