Package Details: acl2 7.2-2

Git Clone URL: https://aur.archlinux.org/acl2.git (read-only)
Package Base: acl2
Description: ACL2 theorem prover.
Upstream URL: http://www.cs.utexas.edu/users/moore/acl2/
Licenses: BSD
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 4
Popularity: 0.042063
First Submitted: 2014-03-04 23:51
Last Updated: 2016-02-25 09:41

Latest Comments

soimort commented on 2015-01-08 14:46

Seems like an upstream-related issue.
Can you reproduce the bug following the official instruction here (http://www.cs.utexas.edu/users/moore/acl2/v6-5/HTML/installation/installation.html)?

kaptoxic commented on 2015-01-08 14:39

I get the following error:
debugger invoked on a SIMPLE-ERROR in thread
#<THREAD "main thread" RUNNING {1003016473}>:
Couldn't execute "etags": No such file or directory

After two errors and exiting the debugger (with 0), the installation fails:
Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
GNUmakefile:335: recipe for target 'check_init_ok' failed
make[1]: *** [check_init_ok] Error 1

kaptoxic commented on 2015-01-08 14:38

I get the following error:
debugger invoked on a SIMPLE-ERROR in thread
#<THREAD "main thread" RUNNING {1003016473}>:
Couldn't execute "etags": No such file or directory

(and some error afterwards) after which I exit the installation fail:
Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
GNUmakefile:335: recipe for target 'check_init_ok' failed
make[1]: *** [check_init_ok] Error 1