I want to patch Frama-C before building it but oooh well I don’t remember how to do it by heart and the dependency I wanted to add (mlcuddidl) doesn't exist in ocamlPackages for some reason…
And on the other hand opam doesn't work in NixOS, so total failure
@otini This is one of the main reason that always convinced me not to install NixOS. It took me quite some time to become confident in my ability to build software, I don’t want to start from scratch right now
Hello @otini , actually opam does work in NixOS, fire up a nix-shell with the dependencies needed to build the required librairies (e.g. nix-shell -p m4 pkgconfig gmp openssl). Took some time to figure it out but now using opam is a breeze!
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!