README compile instructions not working

[robdockins]

Maybe due to LLVM version drift? Any chance we could get some binary builds?

% rustc --version
rustc 1.44.0-nightly (38114ff16 2020-03-21)

% uname -a
Darwin <snip> 21.6.0 Darwin Kernel Version 21.6.0: Mon Aug 22 20:17:10 PDT 2022; root:xnu-8020.140.49~2/RELEASE_X86_64 x86_64

 % clang --version
Apple clang version 14.0.0 (clang-1400.0.29.102)
Target: x86_64-apple-darwin21.6.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

% git log | head -n 5
commit fbacd2a8d5885a3897c7b3efe4b61607aed9cab2
Author: Stuart Pernsteiner <spernsteiner@galois.com>
Date:   Thu Apr 7 15:33:38 2022 -0700

    allow changing crux-mir binary path using CRUX_MIR env var

% cargo install --locked
warning: Using `cargo install` to install the binaries for the package in current working directory is deprecated, use `cargo install --path .` instead. Use `cargo build` if you want to simply build the package.
  Installing mir-json v0.1.0 (/Users/rdoc/code/mir-json)
    Updating crates.io index
warning: package `miow v0.3.3` in Cargo.lock is yanked in registry `crates.io`, consider running without --locked
warning: package `socket2 v0.3.11` in Cargo.lock is yanked in registry `crates.io`, consider running without --locked
   Compiling libc v0.2.65
   Compiling proc-macro2 v1.0.7
   Compiling syn v1.0.13
   Compiling serde v1.0.104
   Compiling memchr v2.3.0
   Compiling getrandom v0.1.14
   Compiling log v0.4.8
   Compiling bitflags v1.2.1
   Compiling ryu v0.2.7
   Compiling typenum v1.11.2
   Compiling regex-syntax v0.6.13
   Compiling percent-encoding v2.1.0
error: linking with `cc` failed: exit code: 1
  |
  = note: "cc" "-m64" "-L" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.0.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.1.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.2.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.3.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.4.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.5.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.6.rcgu.o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.build_script_build.7qsr61gr-cgu.7.rcgu.o" "-o" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26" "/Users/rdoc/code/mir-json/target/release/build/log-84e52d5901d19a26/build_script_build-84e52d5901d19a26.d8j30j9jan665ax.rcgu.o" "-Wl,-dead_strip" "-nodefaultlibs" "-L" "/Users/rdoc/code/mir-json/target/release/deps" "-L" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libstd-b1d792a6b279daed.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libpanic_unwind-3fe9decdef96d1c8.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libhashbrown-10668ca28005f147.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/librustc_std_workspace_alloc-00e91c288c0e2810.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libbacktrace-04cfbaf079f107e7.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libbacktrace_sys-e8aea849c7d67c6e.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/librustc_demangle-241d8865941b29e0.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libunwind-a8b3976b8bfe30d6.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libcfg_if-75b813e97e7725c7.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/liblibc-625f77d054115f0a.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/liballoc-8a0a1d5d1b7355ff.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/librustc_std_workspace_core-8f5776cde4474acf.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libcore-e81135b1ec3e7556.rlib" "/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libcompiler_builtins-3ff82c84ff5efb13.rlib" "-lSystem" "-lresolv" "-lc" "-lm"
  = note: ld: in /Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libunwind-a8b3976b8bfe30d6.rlib(lib.rmeta), archive member 'lib.rmeta' with length 23632 is not mach-o or llvm bitcode file '/Users/rdoc/.rustup/toolchains/nightly-2020-03-22-x86_64-apple-darwin/lib/rustlib/x86_64-apple-darwin/lib/libunwind-a8b3976b8bfe30d6.rlib'
          clang: error: linker command failed with exit code 1 (use -v to see invocation)

[RyanGlScott]

We've encountered this issue independently in GaloisInc/crucible#1050 as well. That issue describes a workaround: downgrade to Clang 13. That being said, this is definitely not an ideal state of affairs. As described on that issue, we should look into making the build work with Clang 14, either by altering the build environment or by upgrading the rustc version that we pin against.