Successfully setting up TPS on MacOS

Question

I'm following the instructions from the following website, to install their Theorem Proving System software, to complement a book that's recommended to my course. This can be found here: Downloading TPS and ETPS and the official download link: TPS download. I'm using CLISP, because a Common Lisp interpreter is recommended, this is the easiest installation for me. I have managed the following attempts:

1. Move file to separate directory and name tps
2. Read into the file 'Makefile', and replace 'lisp = lisp' for 'lisp = clisp'.
3. Run 'make tps'. This throws multiple warnings of deprecation, but no errors.
4. Clisp -M tps3.mem

After running line 4, I get the following fault error:

tps3 for emilton. Version from Monday, January 20, 2025 at 16:19:32.
(c) Copyrighted by Carnegie Mellon University. All rights reserved.
[Loading changes ...
;; Loading file /Users/emilton/Documents/tps/tps3.patch ...
;; Loaded file /Users/emilton/Documents/tps/tps3.patch
                 ... done]

*** - (USE-PACKAGE (#<PACKAGE TEACHER>) #<PACKAGE COMMON-LISP-USER>): 1 name conflicts remain
      Which symbol with name "GETDATE" should be accessible in #<PACKAGE COMMON-LISP-USER>?
The following restarts are available:
TEACHER        :R1      #<PACKAGE TEACHER>
COMMON-LISP-USER :R2    #<PACKAGE COMMON-LISP-USER>
SKIP           :R3      skip (USE-PACKAGE 'TEACHER)
RETRY          :R4      retry (USE-PACKAGE 'TEACHER)
STOP           :R5      stop loading file /Users/emilton/Documents/tps/tps3.ini

*** - handle_fault error1 !
SIGSEGV cannot be cured. Fault address = 0x2fffffffff8.
GC count: 0
Space collected by GC: 0
Run time: 0 20766
Real time: 5 674166
GC time: 0 0
Permanently allocated: 159320 bytes.
Currently in use: 14960624 bytes.
Free space: 3452126 bytes.
zsh: segmentation fault  clisp -M tps3.mem

I cannot find a way to successfully run tps, without any faults or errors. I welcome an approach helpful to successfully downloading this software. I'm running an Intel MacOS.