Public bug reported:
Binary package hint: acl2
acl2 FTBFS on:
> make[1]: Entering directory `/build/user/acl2-3.3/books'
> Thu Jan 3 20:21:25 CET 2008
> /bin/sh: time: not found
> make[1]: *** [all] Error 127
> make[1]: Leaving directory `/build/user/acl2-3.3/books'
> tail: cannot open `books/certify-numbers.out' for reading: No such file or
> directory
> tail: cannot open `books/arithmetic/abs.out' for reading: No such file or
> directory
> tail: cannot open `books/arithmetic/binomial.out' for reading: No such file
> or directory
> tail: cannot open `books/arithmetic/equalities.out' for reading: No such
> file or directory
...
...
...
...
...
...
> tail: cannot open `books/unicode/test-performance/tests.out' for reading: No
> such file or directory
> tail: cannot open `books/unicode/test-performance/timing.out' for reading:
> No such file or directory
> tail: cannot open `books/unicode/test-performance/unicode.out' for reading:
> No such file or directory
** Affects: acl2 (Ubuntu)
Importance: Undecided
Assignee: Nicolas Valcárcel (nxvl) (nvalcarcel)
Status: New
** Affects: acl2 (Debian)
Importance: Unknown
Status: Unknown
** Changed in: acl2 (Ubuntu)
Assignee: (unassigned) => Nicolas Valcárcel (nxvl) (nvalcarcel)
** Bug watch added: Debian Bug tracker #459060
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=459060
** Also affects: acl2 (Debian) via
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=459060
Importance: Unknown
Status: Unknown
--
acl2 3.3-1 FTBFS
https://bugs.launchpad.net/bugs/185102
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
