| Git Clone URL: | https://aur.archlinux.org/bsc.git (read-only, click to copy) |
|---|---|
| Package Base: | bsc |
| Description: | Bluespec Compiler (BSC) |
| Upstream URL: | https://github.com/B-Lang-org/bsc |
| Licenses: | BSD-3-Clause |
| Submitter: | Vekhir |
| Maintainer: | Vekhir |
| Last Packager: | Vekhir |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2024-09-09 01:53 (UTC) |
| Last Updated: | 2025-04-01 16:43 (UTC) |
This is an AUR package, you have to build it yourself. I'm guessing you're using pamac?
pamac and similar tools use shortcuts to build packages automatically. It just so happens that one of them triggers unintended behaviour that leads to failure that wouldn't happen if the package was built correctly.
From your perspective, that doesn't make a difference. The only thing to improve the situation long-term is to raise this issue with the developers of your package manager.
maybe I'm exaggerating, but either the package is updated cumulatively with all the other packages in the system, or if a solution is needed that involves updating this single package individually and with specific precautions, then the inconvenience becomes excessive in keeping it on the system. anyway, thanks for the proposals.
Did you try a suggested solution? If so, which one? Building with makechrootpkg works fine on my side.
same error
simona said:
Makefile:49: *** Submodule vendor/yices/v2.6/yices2 missing.
The issue stems from BSC's auto detection of whether it is in a git repository to determine if yices should be a submodule. While the source isn't a git repository, building inside the bsc directory causes it to detect this package as a git repository.
The solution is to either build in a clean chroot (recommended) or set the BUILDDIR variable for makepkg to a directory which is not inside a git repository.
Can't reproduce. Can you provide the entire log (in particular the prepare() function)? It would be helpful too if you provided context w.r.t. how the package is built (makepkg, clean chroot, AUR helper).
Makefile:49: *** Submodule vendor/yices/v2.6/yices2 missing.
Pinned Comments
Vekhir commented on 2024-09-13 10:16 (UTC) (edited on 2024-09-13 10:18 (UTC) by Vekhir)
simona said:
The issue stems from BSC's auto detection of whether it is in a git repository to determine if yices should be a submodule. While the source isn't a git repository, building inside the
bscdirectory causes it to detect this package as a git repository.The solution is to either build in a clean chroot (recommended) or set the BUILDDIR variable for
makepkgto a directory which is not inside a git repository.