+$(libffi_STATIC_LIB): $(libffi_STAMP_BUILD)
+# Rename libffi.a to libHSffi.a
+libffi/dist-install/build/libHSffi.a libffi/dist-install/build/libHSffi_p.a: $(libffi_STATIC_LIB)
+ "$(CP)" $(libffi_STATIC_LIB) libffi/dist-install/build/libHSffi.a
+ "$(CP)" $(libffi_STATIC_LIB) libffi/dist-install/build/libHSffi_p.a