This PR adds a .envrc file, meant to be used by direnv to set a reasonable environment for developing the Miking compiler. Presently this means three things:
Adding build/lib to OCAMLPATH, so we can run ocaml commands that need the boot library without extra hassle.
OverwritingMCORE_LIBS, setting the stdlib location to the in-repo version. This throws away any previously set values, which seems correct because a) the compiler has no external mcore dependencies, and b) it's an annoying error when you accidentally forget to point to the correct location when running some mi command directly.
If Nix is installed we use it (via a flake) to provide an environment with all Miking dependencies.
I'm using this locally and figured it was worth seeing if it's interesting to others.
This PR adds a
.envrcfile, meant to be used by direnv to set a reasonable environment for developing the Miking compiler. Presently this means three things:build/libtoOCAMLPATH, so we can runocamlcommands that need thebootlibrary without extra hassle.MCORE_LIBS, setting the stdlib location to the in-repo version. This throws away any previously set values, which seems correct because a) the compiler has no external mcore dependencies, and b) it's an annoying error when you accidentally forget to point to the correct location when running somemicommand directly.I'm using this locally and figured it was worth seeing if it's interesting to others.