Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision bf22bc6c1ba283a7b275b901fbe5b80e7c50f090)
+++ Jenkinsfile	(revision aa96fbab8fbda10d573f481cafa20f604a7ed257)
@@ -126,5 +126,5 @@
 			}
 
-			sh "${SrcDir}/configure CXX=${Settings.Compiler.CXX} CC=${Settings.Compiler.CC} ${Settings.Architecture.flags} AR=gcc-ar RANLIB=gcc-ranlib ${targets} --quiet"
+			sh "${SrcDir}/configure CXX=${Settings.Compiler.CXX} CC=${Settings.Compiler.CC} ${Settings.Architecture.flags} AR=gcc-ar RANLIB=gcc-ranlib ${targets} --quiet --prefix=${BuildDir}"
 
 			// Configure libcfa
@@ -155,4 +155,11 @@
 		dir (BuildDir) {
 			sh "make -j 8 --no-print-directory -C libcfa/${Settings.Architecture.name}-nodebug"
+		}
+	}
+
+	build_stage('Build : install', true) {
+		// Build outside of the src tree to ease cleaning
+		dir (BuildDir) {
+			sh "make -j 8 --no-print-directory install"
 		}
 	}
@@ -179,5 +186,5 @@
 		echo "Archiving core dumps"
 		dir (BuildDir) {
-			archiveArtifacts artifacts: "tests/crashes/**/*", fingerprint: true
+			archiveArtifacts artifacts: "tests/crashes/**/*,lib/*", fingerprint: true
 		}
 		throw err