Code

Kremlin cross-compiles#76

Code

Open

wintersteiger wants to merge 1 commit intoFStarLang:masterFStarLang/karamel:masterfrom wintersteiger:cross-kremlinwintersteiger/kremlin:cross-kremlinCopy head branch name to clipboard

+10

Commits

Commits on Jan 30, 2018

• Added cross-compilation commands

  

  Christoph M. Wintersteiger

  committed
  c3a1f18