diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2b53eb0..05fc783 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -497,7 +497,7 @@ if (NOT SKIP_BUILD_MP)
 		struct S { typedef typename S<Types...>::type type; };
 		int main() {}" MP_VARIADIC_TEMPLATES)
 
-	add_subdirectory(src/asl)
+	find_package(ampl-asl CONFIG REQUIRED)
 	add_subdirectory(src/amplsig)
 	add_subdirectory(src/cp)
 	add_subdirectory(solvers)
diff --git a/src/cp/cp.cc b/src/cp/cp.cc
index d4adc35..ca8f35b 100644
--- a/src/cp/cp.cc
+++ b/src/cp/cp.cc
@@ -24,7 +24,7 @@
 #include <cstring>
 #include <limits>
 #include "mp/format.h"
-#include "funcadd.h"
+#include <asl/funcadd.h>
 
 namespace {
 void error(arglist *al, const char *message) {