INSTALL Wiki: Remove backtick around make z3-ubuntu, and update inconsistent instructions
#5787
Assignees
Labels
part: documentation
Dafny's reference manual, tutorial, and other materials
Comments
dnezam
added
the
part: documentation
dnezam
changed the title
from make z3-ubuntu` and alternative instructions from make z3-ubuntu` and alternative instructions
dnezam
changed the title
from make z3-ubuntu` and alternative instructionsmake z3-ubuntu, and update inconsistent instructions
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
What change in documentation do you suggest?
The INSTALL page on the Wiki mentions
`make z3-ubuntu`for installing from source under Linux. While this command seems to work, it creates a bunch of directories like",chmod,Archive:, etc. It should probably be justmake z3-ubuntuinstead.As a side note, it seems that
make z3-ubuntuinstalls both z3 versions 4.12.1 and 4.8.5. Is that wanted? Either way, the INSTALL wiki only provides alternative commands to install the former. Since themakecommand does essentially the same thing, perhaps those alternative instructions are unnecessary (and run the risk of going stale)?The text was updated successfully, but these errors were encountered: