diff --git a/cfg/vaillant/eigen.profile b/cfg/vaillant/eigen.profile new file mode 100644 index 0000000000000000000000000000000000000000..8477a380dbf5f7024156aec2f10df25e4ea6e524 --- /dev/null +++ b/cfg/vaillant/eigen.profile @@ -0,0 +1 @@ +add2env INCLUDE "/opt/eigen/include/eigen3"