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 just make z3-ubuntu instead.
As a side note, it seems that make z3-ubuntu installs 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 the make command does essentially the same thing, perhaps those alternative instructions are unnecessary (and run the risk of going stale)?
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)?