Add MicroHs support. #864
Draft
Add MicroHs support. #864
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dmjio
force-pushed
the
micro-miso
branch
3 times, most recently
from
841f4e7 to
5b4fd94
Compare
We'd like to add support for the [MicroHs project](https://github.com/augustss/MicroHs) as a first class citizen, to explore its cross-compilation capabilities (w/ emscripten, and other platforms). This PR fetches MicroHs at master and builds (with ghc910) using the recommended Makefile workflow. We "make install" into /nix/store during the installPhase. 1) The 'microhs' package that places cpphs, mcabal inside of $out/bin, mhs is placed inside of $out/lib/bin. We also copy lib, generated, boards, docs, into $out (aka /nix/store/). 2) 'microhs-wrapper' package. This is a shell script that ensure `mhs` is present on PATH, also ensures the $MSHDIR variable points to the MicroHs /lib that exists in the /nix/store. "export MHSDIR=${self.microhs}" 3) 'microhs-env' shell environment that includes both of the above packages. Using `nix-shell` we can now enter an environment where `mhs` is present on PATH and points to the correct $MHSDIR, along with all the other build tools present (cpphs, mcabal). To test, clone miso and call "nix-shell --argstr pkg micro --run 'mhs --version'" - [x] Build MicroHS into miso's nixpkgs (mcabal,mhs,cpphs) - [x] Create 3 derivations for microhs (microhs,microhs-env,microhs-wrapper) - [x] Introduce micro/ subdirectory with a new 'miso.cabal' that MicroHS supports - [x] Add MicroHs shell environment to shell.nix (command above) - [ ] Use 'mcabal install' to fetch and build all of miso's dependencies (TODO) - [ ] Explore adding support for a JS FFI via emscripten (this might require modifications to mcabal or mhs to support "foreign import javascript" syntax) - [ ] Create install script with nix that uses mcabal to install all deps. and builds miso. Place miso's MicroHS build under CI using both emscripten and native - [ ] Consider upstreaming MicroHs into nixpkgs proper (with pkgsCross support) For JSFFI support (for browser targets) w/ emscripten consider the following docs - https://emscripten.org/docs/porting/connecting_cpp_and_javascript/Interacting-with-code.html#calling-javascript-from-c-c
- Add src/ because the RTS gets compiled during compilation. - Clean-up bash
Use this for CI testing (for now, until miso builds).
- Use compiler generated targets from Makefile
We need to ensure we support QuickJS on Darwin/OSX
NixOS/nixpkgs#139943 (comment) We need to ensure that ~/.emscripten_cache is created, populated and EM_CACHE is set.
- Export CC - Put GHC compiled mhs on $PATH - set $MHSDIR
dmjio
force-pushed
the
micro-miso
branch
2 times, most recently
from
8c59252 to
ffdf202
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We'd like to add support for @augustss's MicroHs project as a first class citizen, to explore its cross-compilation capabilities (w/
emscripten, and other platforms).This PR fetches
MicroHsatmasterand builds using the recommendedMakefileworkflow. Wemake installinto/nix/storeduring theinstallPhase, along with other tools. This PR introduces 3 derivations to facilitate the process of getting a miso MicroHS build into miso's CI.The
microhsnix package placescpphs,mhsandmcabalinside of$out/bin. We also copylib,generated,src,boards,docs, into$out(aka/nix/store/).We now acquire
mcabal,mhsandcpphsthrough themakeC bootstrapping install, and have a derivation formhsbuilt w/ GHC (separately).We have created a
targets.conffile that lives in the/nix/storethatmhsnow uses to setCCandCC-FLAGScorrectly.microhs-envis a shell environment (cd miso/micro && nix-shell) that includes both of the above packages. Usingnix-shellwe can now enter an environment wheremhsis present on$PATHand points to the correct$MHSDIR, along with all the other build tools present (cpphs,mcabal).To test, clone miso and call
nix-shell --argstr pkg micro --run 'mhs --version'mcabal,mhs,cpphs)microhs,microhs-env,microhs-wrapper)micro/subdirectory with a newmiso.cabalthat MicroHS supportsshell.nix(command above), edit: addsnodejsandemscriptentooMicroHsworks on Darwin OSXExample.hsin CI for x86Example.hsin CI for JS (even w/-temscriptengccis still chosen (andtargets.confhas both).mcabal installto fetch and build all of miso's dependencies (WIP)foreign import javascript&js-sources:) viaemscripten(this might require modifications tomhsandmcabal).emscriptenand nativepkgsCrosssupport) -- using the traditional haskell nixpkgs workflowFor JSFFI support (for browser targets) w/
emscriptenresearch the following