diff --git a/cfg/spring/eigen.profile b/cfg/spring/eigen.profile
new file mode 100644
index 0000000000000000000000000000000000000000..a4fedac85f8ab2f70d390bc8818b3b78508462e3
--- /dev/null
+++ b/cfg/spring/eigen.profile
@@ -0,0 +1 @@
+add2env INCLUDE "/opt/eigen/"