Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 755368 - [science overlay] sci-mathematics/acl2-8.3 : FileNotFoundError: [Errno 2] No such file or directory: bTAGS
Summary: [science overlay] sci-mathematics/acl2-8.3 : FileNotFoundError: [Errno 2] No ...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Related Packages
Depends on:
Reported: 2020-11-18 17:08 UTC by Toralf Förster
Modified: 2021-09-12 07:38 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---

emerge-info.txt (emerge-info.txt,16.79 KB, text/plain)
2020-11-18 17:08 UTC, Toralf Förster
emerge-history.txt (emerge-history.txt,38.55 KB, text/plain)
2020-11-18 17:08 UTC, Toralf Förster
environment (environment,25.56 KB, text/plain)
2020-11-18 17:08 UTC, Toralf Förster
etc.portage.tbz2 (etc.portage.tbz2,14.95 KB, application/x-bzip)
2020-11-18 17:08 UTC, Toralf Förster
sci-mathematics:acl2-8.3:20201118-115330.log.bz2 (sci-mathematics:acl2-8.3:20201118-115330.log.bz2,83.68 KB, application/x-bzip)
2020-11-18 17:08 UTC, Toralf Förster
temp.tbz2 (temp.tbz2,92.83 KB, application/x-bzip)
2020-11-18 17:08 UTC, Toralf Förster

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2020-11-18 17:08:45 UTC
  File "/usr/lib/portage/python3.7/", line 179, in run
    sstat = os.stat(source)
FileNotFoundError: [Errno 2] No such file or directory: b'TAGS'
 * ERROR: sci-mathematics/acl2-8.3::science failed (install phase):
 *   doins failed


  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no-multilib-libressl_science-20201116-220441


gcc-config -l:
 [1] x86_64-pc-linux-gnu-10.2.0 *
Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.9 (fallback)
  [3]   python3.8 (fallback)
  [4]   python2.7 (fallback)
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.272_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.8.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Wed Nov 18 11:07:26 AM UTC 2020
/var/db/repos/libressl	Sat Nov  7 03:06:11 PM UTC 2020

emerge -qpvO sci-mathematics/acl2
[ebuild  N    ] sci-mathematics/acl2-8.3  USE="-books"
Comment 1 Toralf Förster gentoo-dev 2020-11-18 17:08:46 UTC
Created attachment 672544 [details]
Comment 2 Toralf Förster gentoo-dev 2020-11-18 17:08:47 UTC
Created attachment 672547 [details]
Comment 3 Toralf Förster gentoo-dev 2020-11-18 17:08:49 UTC
Created attachment 672550 [details]
Comment 4 Toralf Förster gentoo-dev 2020-11-18 17:08:50 UTC
Created attachment 672553 [details]
Comment 5 Toralf Förster gentoo-dev 2020-11-18 17:08:51 UTC
Created attachment 672556 [details]
Comment 6 Toralf Förster gentoo-dev 2020-11-18 17:08:53 UTC
Created attachment 672559 [details]
Comment 7 Larry the Git Cow gentoo-dev 2021-09-12 07:38:00 UTC
The bug has been closed via the following commit(s):

commit a9a6dc87759ff69f93105d2b85b5cd90755380e5
Author:     Lucas Mitrak <>
AuthorDate: 2021-08-09 03:09:54 +0000
Commit:     Andrew Ammerlaan <>
CommitDate: 2021-09-12 07:37:31 +0000

    sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc
    * version bump
    * EAPI bump
    * Remove eutils because it is no longer necessary and deprecated
    * inherit elisp-common for compiling/installing emacs files
    * Add emacs use flag for emacs files and TAGS file
    * Add app-editor/emacs to BDEPEND if its needed during compilation
    * Add doc use flag for compiling and installing html docs
    * Add dev-lang/perl as a DEPEND for doc
    * Change SRC_URI to upstream and updated github
    * Update metadata.xml to this new SRC_URI
    * Add patch which changes `make` to $(MAKE) in GNUmakefile for Q/A
    * Add src_prepare which deletes *.bak, *.orig, and sparc binary acl2link
    * Remove `emake certify-books` because certify-books no longer exists
    * Add `emake basic` because it is the one which is the default [1]
    * emake basic is much faster so the einfos are removed
    * Add `emake DOC` to compilation phase if DOC use flag is enabled
    * Add `elisp-compile` to compilation phase if emacs use flag is enabled
    * Install always and html docs if doc use flag is enabled
    * Install emacs files and TAGS file is emacs use flag is enabled
    * Add `use emacs && elisp-site-regen` to postinst() and postrm() phases
    Currently, sci-mathematics/acl2 will not always install successfully.
    This is because the TAGS file is only created if the etags program is
    installed. The etags program is installed when emacs is
    installed. Therefore, an emacs use flag is added so the TAGS file is
    installed only when it is enabled. Since app-editors/emacs is required
    for the CBUILD, the dependency is added to the BDEPEND. In order to
    compile/install emacs files, the elisp-common eclass is inherited.
    This compilation and installation only takes place if the emacs use
    flag is enabled. The `elisp-site-regen` is added to pkg_postinst() and
    pkg_postrm() with the requirement of the emacs use flag being enabled.
    If the doc flag is enabled, then `emake DOC` is executed and the html
    docs are installed; however, the is always installed. Since
    dev-lang/perl is needed for this compilation, it is added as a
    conditional requirement. If the books use flag is enabled, then the
    books will be compiled using `emake basic`. The reason `emake basic`
    was chosen instead of `emake regression` is because the latter is
    stated as being "usually unnecessary" [1] and that "most users will not
    want to use this target" [2] while the former is the default [1]
    and stated as "a convenient starting place" [3]. Every book is made
    before for major releases, so it is unecessary to to build all for an
    install. Since the compilation of the books is much faster, the einfo
    messages are removed. In addition, the SRC_URI for the previous ebuild
    is behind in commits [4] and is simply a clone. Therefore, the main
    github repo replaced it. The metadata is updated to this change also.
    A src_prepare phase was added which copies debian's Changelog of this
    package [5]. The entry on 2015-10-21 of this Changelog shows that
    the *.bak and *.orig files were removed to clean the target. Also,
    the inadvertent sparc binary acl2link was removed. This sparc binary
    lacks source code and therefore violates the GNU GPL. Debian filed a
    bug about this binary and the solution was to delete it [6].
    A patch is added so a Q/A warning is not given: "make[1]: warning:
    jobserver unavailable: using -j1.  Add '+' to parent make rule".
    The patch changes a make command to use the variable $(MAKE). This
    patch will be made available upstream via a github pull request.
    Finally, eutils is removed due to being depreciated and the EAPI is
    Package-Manager: Portage-3.0.20, Repoman-3.0.2
    Signed-off-by: Lucas Mitrak <>
    Signed-off-by: Andrew Ammerlaan <>

 sci-mathematics/acl2/Manifest                      |  1 +
 sci-mathematics/acl2/acl2-8.4.ebuild               | 86 ++++++++++++++++++++++
 .../acl2/files/acl2-use_make_variable.patch        | 13 ++++
 sci-mathematics/acl2/metadata.xml                  |  2 +-
 4 files changed, 101 insertions(+), 1 deletion(-)