diff --git a/Makefile b/Makefile index 533dcaf8578a757f6c386f80b84b16a9b70aff07..967eb95bbf16e08edf7a466e46ef7d5a5be68fa3 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,7 @@ ### we have two auxiliary Makefiles, one for each side of the front-end. ### We define here general targets that will operate on both sides. -FCLANG_VERSION=0.0.6 +FCLANG_VERSION=0.0.7 PLUGIN_DIR ?= .