Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fstar.exe is no longer buildable in F# as a .NET executable #2512

Merged
merged 20 commits into from
Mar 30, 2022
Merged

fstar.exe is no longer buildable in F# as a .NET executable #2512

merged 20 commits into from
Mar 30, 2022

Commits on Mar 28, 2022

  1. removing source build of F* in F#

    @nikswamy
    nikswamy committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    2bc6f92 View commit details
    Browse the repository at this point in the history

  2. wip; removing F# dependences in the bootstrapping build

    @nikswamy
    nikswamy committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    b22ce75 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2022

  1. simplifying build of ulibfs.fsproj by separating the extraction of .f… 

    …s files and handling that with a Makefile
    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    6dbcdc1 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into nik_misc

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    b950edf View commit details
    Browse the repository at this point in the history

  3. missed a file

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    c203ccf View commit details
    Browse the repository at this point in the history

  4. restoring FStar.sln, before revising it again

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    fda5796 View commit details
    Browse the repository at this point in the history

  5. restoring nuget dependency to load packages

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    2a640d1 View commit details
    Browse the repository at this point in the history

  6. adding a packages.config

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    72c6dc8 View commit details
    Browse the repository at this point in the history

  7. restore correct version of NuGet.exe

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    e50c0a9 View commit details
    Browse the repository at this point in the history

  8. do no update nuget as part of the build

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    c2a7897 View commit details
    Browse the repository at this point in the history

  9. disabling generation of parse.fsy; fixing nuget-restore rule

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    b1963c2 View commit details
    Browse the repository at this point in the history

  10. restoring example fsproj files with a hack in fsharp.extraction.targe… 

    …ts to make it work on Linux
    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    352bcf7 View commit details
    Browse the repository at this point in the history

  11. writing a small wrapper in .net to call F* uniformly on both linux an… 

    …d windows, for use with fsharp.extraction.target
    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    c18ae7b View commit details
    Browse the repository at this point in the history

  12. permissions

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    d0db3ef View commit details
    Browse the repository at this point in the history

  13. FSharp.Core HintPath

    @nikswamy
    nikswamy committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    03b51fa View commit details
    Browse the repository at this point in the history

  14. removing unused F# files

    @nikswamy
    nikswamy committed Mar 29, 2022
    1 Configuration menu
    Copy the full SHA
    5646a4d View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2022

  1. remove rewriting and copying of boot files; set OtherFlags explicitly… 

    … in CallProc.fsproj to avoid pollution from build.sh setting of OTHERFLAGS
    @nikswamy
    nikswamy committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    2e71d5f View commit details
    Browse the repository at this point in the history

  2. rename compiler source files to .fst and .fsti

    @nikswamy
    nikswamy committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    aeb3cf0 View commit details
    Browse the repository at this point in the history

  3. updating some docs

    @nikswamy
    nikswamy committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    dbf0092 View commit details
    Browse the repository at this point in the history

  4. doc update

    @nikswamy
    nikswamy committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    90ae570 View commit details
    Browse the repository at this point in the history