so i was considering using swift to write some scripts for internal use, but (1) there& #39;s no binaries and (2)
https://github.com/apple/swift/blob/master/docs/WindowsBuild.md
wtf.">https://github.com/apple/swi...
https://github.com/apple/swift/blob/master/docs/WindowsBuild.md
wtf.">https://github.com/apple/swi...
Building software shouldn& #39;t be this complicated.
- The user (or a non-member of the dev team) shouldn& #39;t need to download libraries. Just check a copy of each library into the repository!
- (Into *the* repository. Not into one of *ten* of repositories. What the hell.)
- The user (or a non-member of the dev team) shouldn& #39;t need to download libraries. Just check a copy of each library into the repository!
- (Into *the* repository. Not into one of *ten* of repositories. What the hell.)
- The default build config line should not require 20 damn command-line options.
- Did you really need to depend on python?
(This is more of a complaint against LLVM, but still.)
- Did you really need to depend on python?
(This is more of a complaint against LLVM, but still.)
It should go like this:
1. Download one (1) thing.
2. Run a single command that invokes a build program (which comes with the thing).
3. Start using/debugging the thing.
1. Download one (1) thing.
2. Run a single command that invokes a build program (which comes with the thing).
3. Start using/debugging the thing.
related: llvm cmake scripts have checks for whether, somewhere on the system, there is an installation of a particular version of some library, but it seems like much better way to make sure you have the right version is to **check it into version control**
also: it seems that the build instructions for LLVM effectively include the build instructions for the Z3 theorem prover.
I learned this because i tried installing z3& #39;s binary distribution, which does not include the required ".cmake" files.
I learned this because i tried installing z3& #39;s binary distribution, which does not include the required ".cmake" files.
I have also learned at least one wrong way to build Z3 for this purpose, which is the method described at the top of the Z3 build instructions document. ( https://github.com/Z3Prover/z3 )">https://github.com/Z3Prover/...
LLVM people should seriously try building on windows more often, because this is exhausting