diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 098b68fb..5b9f929c 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -1,8 +1,8 @@ # -*- Makefile -*- # Set the name of the project here -PROJECT_NAME := klee -PROJ_VERSION := 0.01 +PROJECT_NAME := @PACKAGE_NAME@ +PROJ_VERSION := @PACKAGE_VERSION@ # Set this variable to the top of the LLVM source tree. LLVM_SRC_ROOT = @LLVM_SRC@ |