diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 77837f8be73f939ad96d77971a8ec1ad7d469ad3..e040d56b4057e911318d689fca91beb857e3832a 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -149,6 +149,7 @@ CPPGMPFLAGS += -Drealloc=__e_acsl_native_realloc
 CPPGMPFLAGS += -Dfree=__e_acsl_native_free
 
 $(EACSL_GMP_LIB): $(EACSL_GMP_DIR)/mini-gmp/mini-gmp.c
+	$(MKDIR) $(EACSL_LIBDIR)
 	echo 'CC          $< '
 	$(CC) $< $(CPPGMPFLAGS) -c -O2 -g3 -o$(EACSL_GMP_MINI)
 	echo 'AR          $@'