fix libffi link (runtimeverification#528)

dwightguth · web-flow · commit ee12d665b7ae · 2019-06-10T14:39:43.000-05:00
diff --git a/pom.xml b/pom.xml
@@ -360,7 +360,7 @@
         <native.exe.type>uexe</native.exe.type>
         <native.exe.extension />
 	<native.script.extension />
-	<prefix.path>/usr/local/opt/llvm@6/;/usr/local/opt/bison;/usr/local/opt/flex</prefix.path>
+	<prefix.path>/usr/local/opt/llvm@6/;/usr/local/opt/bison;/usr/local/opt/flex;/usr/local/opt/libffi</prefix.path>
       </properties>
     </profile>
     <profile>
