On Monday, November 8, 2021 7:10:45 PM CET Jerry James wrote:
> Nice! Thanks for working on this. I tried to use the csmock plugin,
> but got this at the end of the build (on an x86_64 F34 host, building
> for fedora-35-x86_64):
>
> + for file in /tmp/csmockadxnd155/metamath-0.198-1.fc36/debug/raw-results/builddir/cbmc-capture/pid-*.out
> + cbmc-convert-output -a
> /bin/sh: line 4: cbmc-convert-output: command not found
>
> !!! 2021-11-08 10:02:57 error: post-process hook failed
>
> The problem appears to be that csmock-plugin-cbmc doesn't require cbmc
> or cbmc-utils:
Thank you for pointing it out! It is exactly as you say. I have submitted
a pull request to fix this:
https://github.com/csutils/csmock/pull/46
Kamil
> $ rpm -q --requires csmock-plugin-cbmc
> csexec
> csmock-common(python3)
> python(abi) = 3.9
> rpmlib(CompressedFileNames) <= 3.0.4-1
> rpmlib(FileDigests) <= 4.6.0-1
> rpmlib(PayloadFilesHavePrefix) <= 4.0-1
> rpmlib(PayloadIsZstd) <= 5.4.18-1
>
> Regards,
> --
> Jerry James
> http://www.jamezone.org/
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
