Package Details: acl2 7.4-1

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: 5
Popularity: 0.908681
First Submitted: 2014-03-04 23:51
Last Updated: 2017-04-06 19:48

Latest Comments

ragerdl commented on 2017-04-14 19:07

If you'd like the dependency upon etags to not exist (and you've confirmed that ACL2 really does depend on etags), then it'd be good to file a bug at github.com/acl2/acl2

ragerdl commented on 2017-04-14 19:06

This probably needs a dependency upon etags... hopefully that doesn't require emacs.

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