[Tool request] revng

[vdun]

• Name: revng
• Source URL: https://github.com/revng/revng
• Description: Lifts binaries for any architecture to LLVM IR

[D3vil0p3r]

revng/revng#422

[D3vil0p3r]

Not sure to package it. According to the issue opened upstream, the tool can be built from source only using orchestra that is a tool developed by the developer itself just for revng. There is no way to build it in a standard way. Unless we use binaries. Should we try to package orchestra and then use it to try to build revng?

[D3vil0p3r]

The tool builds with no error manually (except for some runtime errors reported upstream). But when I build it by PKGBUILD, there are some network connections errors:

Updated Git hooks.
Git LFS initialized.
[+] INFO - Updating orchestra configuration
[+] INFO - Updating binary archives
[+] INFO - Trying to clone binary archive from remote origin (/home/user/Downloads/ba/revng/binary-archives)                                                             
100%|█████████████████████████████████████████████████████████████████████████████████████████████████████████████████████████| 1/1 [00:00<00:00, 261.02archives/s, origin]
[+] INFO - Resetting ls-remote cached info
[+] INFO - Updating ls-remote cached info
100%|███████████████████████████████████████████████████████████████████████████████████████████████████████████████████████████████| 9/9 [00:00<00:00, 232.34repository/s]
[+] ERROR - 
Could not git pull --ff-only the following repositories:
  - orchestra configuration (/tmp/makepkg/revng/src/orchestra/.orchestra)

Suggestions:
    - check your network connection
    - commit your work
    - `git pull --rebase`, to pull remote changes and apply your commits on top
    - `git push` your changes to the remotes
[+] ERROR - 
Could not clone the following repositories:
  - Binary archive origin (/home/user/Downloads/ba/revng/binary-archives)!

The build can be done only by this custom builder called orchestra.