Acl2error.txt

keep-learnings-MacBook-Pro:Tools keep_learning$ ls
acl2-8.1.tar.gz			acl2-image-8.0-macosx.x86_64	ccl
keep-learnings-MacBook-Pro:Tools keep_learning$ tar xfz acl2-8.1.tar.gz
keep-learnings-MacBook-Pro:Tools keep_learning$ ls
acl2-8.1			acl2-8.1.tar.gz			acl2-image-8.0-macosx.x86_64	ccl
keep-learnings-MacBook-Pro:Tools keep_learning$ cd acl2-8.1
keep-learnings-MacBook-Pro:acl2-8.1 keep_learning$ ls
GNUmakefile			allegro-acl2-trace.lisp		boot-strap-pass-2-b.lisp	hons.lisp			new.html			rewrite.lisp
LICENSE				apply-constraints.lisp		build-allegro-exe.cl		induct.lisp			non-linear.lisp			save-gprof.lsp
Makefile			apply-prim.lisp			defpkgs.lisp			init.lisp			openmcl-acl2-trace.lisp		serialize-raw.lisp
README.md			apply-raw.lisp			defthm.lisp			installation			other-events.lisp		serialize.lisp
acl2-characters			apply.lisp			defuns.lisp			interface-raw.lisp		other-processes.lisp		simplify.lisp
acl2-check.lisp			axioms.lisp			doc				ld.lisp				other-releases.html		tau.lisp
acl2-customization-files	basis-a.lisp			doc.lisp			linear-a.lisp			parallel-raw.lisp		translate.lisp
acl2-fns.lisp			basis-b.lisp			emacs				linear-b.lisp			parallel.lisp			type-set-a.lisp
acl2-init.lisp			bdd.lisp			futures-raw.lisp		mcl-acl2-startup.lisp		proof-builder-a.lisp		type-set-b.lisp
acl2.lisp			bin				graphics			memoize-raw.lisp		proof-builder-b.lisp		workshops.html
akcl-acl2-trace.lisp		books				history-management.lisp		memoize.lisp			proof-builder-pkg.lisp
all-files.txt			boot-strap-pass-2-a.lisp	hons-raw.lisp			multi-threading-raw.lisp	prove.lisp
keep-learnings-MacBook-Pro:acl2-8.1 keep_learning$ make LISP=/Users/keep_learning/Tools/ccl/d
darwin-x86-headers/   darwin-x86-headers64/ doc/                  dx86cl                dx86cl.image          dx86cl64              dx86cl64.image        
keep-learnings-MacBook-Pro:acl2-8.1 keep_learning$ make LISP=/Users/keep_learning/Tools/ccl/dx86cl64
ACL2_WD is /Users/keep_learning/Tools/acl2-8.1
ACL2 is /Users/keep_learning/Tools/acl2-8.1/saved_acl2
rm -f acl2r.lisp
/Library/Developer/CommandLineTools/usr/bin/make acl2r.lisp
ACL2_WD is /Users/keep_learning/Tools/acl2-8.1
ACL2 is /Users/keep_learning/Tools/acl2-8.1/saved_acl2
/Library/Developer/CommandLineTools/usr/bin/make acl2r
ACL2_WD is /Users/keep_learning/Tools/acl2-8.1
ACL2 is /Users/keep_learning/Tools/acl2-8.1/saved_acl2
rm -f acl2r.lisp
/Library/Developer/CommandLineTools/usr/bin/make acl2r.lisp
ACL2_WD is /Users/keep_learning/Tools/acl2-8.1
ACL2 is /Users/keep_learning/Tools/acl2-8.1/saved_acl2
rm -f TAGS
rm -f workxxx
echo '(load "init.lisp")' > workxxx
echo '(acl2::make-tags)' >> workxxx
echo '(acl2::exit-lisp)' >> workxxx
/Users/keep_learning/Tools/ccl/dx86cl64 < workxxx
Clozure Common Lisp Version 1.11.5/v1.11.5  (DarwinX8664)

For more information about CCL, please see http://ccl.clozure.com.

CCL is free software.  It is distributed under the terms of the Apache
Licence, Version 2.0.
? sigreturn returned
? for help
[7950] Clozure CL kernel debugger: /bin/sh: line 1:  7950 Killed: 9               /Users/keep_learning/Tools/ccl/dx86cl64 < workxxx
make: *** [TAGS] Error 137
keep-learnings-MacBook-Pro:acl2-8.1 keep_learning$