diff --git a/dev/opentitan.nix b/dev/opentitan.nix index dec44f5..96eb720 100644 --- a/dev/opentitan.nix +++ b/dev/opentitan.nix @@ -31,8 +31,9 @@ ''; }; in - (pkgs.buildFHSEnv { - name = "opentitan"; + (pkgs.buildFHSEnvOverlay { + pname = "opentitan"; + version = "dev"; targetPkgs = _: with pkgs; [ @@ -85,12 +86,6 @@ in ++ extraPkgs; extraOutputsToInstall = ["dev"]; - extraBwrapArgs = [ - # OpenSSL included in the Python downloaded by Bazel makes use of these paths. - "--symlink ${pkgs.openssl.out}/etc/ssl/openssl.cnf /etc/ssl/openssl.cnf" - "--symlink /etc/ssl/certs/ca-certificates.crt /etc/ssl/cert.pem" - ]; - profile = '' # Workaround bazel bug: https://github.com/bazelbuild/bazel/issues/23217 export TMPDIR=/tmp