Update README.md

vprover · Jul 31, 2020 · 192c54b · 192c54b
1 parent c43b1ed
commit 192c54b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -10,6 +10,7 @@ There is a nice Makefile. You can make
  * vampire_dbg for a debug version 
  * vampire_rel for a release version
  * vampire_z3_rel to build with z3 (also works with debug) but for this you will need a z3 binary in include to link against
+ * vampire is a shortcut for vampire_dbg that doesn't rely on git commands - use this if you download Vampire as a zip file
  * clean to clean things up
 
 You can also make