diff --git a/images/centos.dhall b/images/centos.dhall index 78aa1c2b91b90005813eb1ba003b714dca73cd8e..457c4d129646357d22cabc14ab7087f6d56e1ec4 100644 --- a/images/centos.dhall +++ b/images/centos.dhall @@ -46,6 +46,8 @@ let , "curl" , "wget" , "jq" + -- For the dtrace code generator + , "systemtap-sdt-devel" ] let diff --git a/images/debian.dhall b/images/debian.dhall index 436bd0cd1fb514eb469758f2f7d81c99a1c6813c..63af03498f9f1d72fb2a999bd72cd66cda6f943e 100644 --- a/images/debian.dhall +++ b/images/debian.dhall @@ -52,6 +52,8 @@ let , "libdw1", "libdw-dev" -- For nofib , "valgrind" + -- For the dtrace code generator and headers + , "systemtap-sdt-dev" ] let diff --git a/images/fedora.dhall b/images/fedora.dhall index ec024e95049f64cf189a44e7657586977bb63d9f..fa6906df00c5a041f8ffc989eddbfbf586be90f3 100644 --- a/images/fedora.dhall +++ b/images/fedora.dhall @@ -46,6 +46,8 @@ let , "curl" , "wget" , "jq" + -- For the dtrace code generator and headers + , "systemtap-sdt-devel" ] let