Code

Makefile/package fixes#3719

Code

Merged

mtzguido merged 6 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:buildmtzguido/FStar:buildCopy head branch name to clipboardFeb 7, 2025

+160-63

Commits

Commits on Feb 7, 2025

• Makefile: remove use of undefine (GNU only)

  mtzguido

  committed
  f6dcfcf

  Copy full SHA for f6dcfcf

• ci: testing binary packages

  mtzguido

  committed
  0d74b5d

  Copy full SHA for 0d74b5d

• stage.mk: cleaning lib before intasll

  Show description for 0cc39d8
  mtzguido

  committed
  0cc39d8

  Copy full SHA for 0cc39d8

• FStarC.Platform: some refactoring

  mtzguido

  committed
  9312745

  Copy full SHA for 9312745

• Print version/kernel on fstar.exe -d output

  mtzguido

  committed
  ddeccf5

  Copy full SHA for ddeccf5

• Reduce verbosity

  mtzguido

  committed
  9dd08ac

  Copy full SHA for 9dd08ac