Re: Repo with Facebook Infer dependencies

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Jerry,

On Fri, Mar 04, 2022 at 05:23:40PM -0700, Jerry James wrote:
> This message is for those of you who have expressed an interest in
> packaging Facebook's Infer code analysis tool.  There is now a COPR
> repo available with, I think, all of the dependencies in it.  Create
> ~/.config/mock/fedora-rawhide-infer.cfg with these contents:
> 
> ```
> include('/etc/mock/fedora-rawhide-x86_64.cfg')
> 
> config_opts['root'] = 'fedora-rawhide-infer'
> 
> config_opts[f'{config_opts.package_manager}.conf'] += """
> 
> [infer]
> name=Copr repo for infer owned by jjames
> baseurl=https://copr-be.cloud.fedoraproject.org/results/jjames/Infer/fedora-rawhide-$basearch/
> type=rpm-md
> skip_if_unavailable=False
> gpgcheck=1
> gpgkey=https://copr-be.cloud.fedoraproject.org/results/jjames/Infer/pubkey.gpg
> repo_gpgcheck=0
> enabled=1
> enabled_metadata=1
> cost=10
> """
> ```
> 
> I've only just started figuring out how to package Infer itself.  See
> the attached spec file for what I have so far.  I won't have time to
> touch it again for a few days, so if any of you interested parties
> want to take a stab at it, please go ahead.
> 
This is awesome, thanks! I've just gotten round to un-fsck-ing some of
our OSS packages that cannot be built with GCC 12, so I'll take a stab
at this.

> Be aware that infer builds a modified version of clang, and that takes
> quite awhile.  Start a build, go have dinner, come back to see what
> happened. :-)  It would be interesting to determine whether any of
> their modifications are critical; i.e., can we use the Fedora build of
> clang?
Hmm. I'll try and retarget to use the normal clang, and if that mostly
works, I can ask the Infer developers internally.

Best regards,

-- 
Michel Alexandre Salim
identities: https://keyoxide.org/5dce2e7e9c3b1cffd335c1d78b229d2f7ccc04f2

Attachment: signature.asc
Description: PGP signature

_______________________________________________
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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux