| 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: | 2024-09-09 01:53 (UTC) |
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.