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

Build DafnyRuntime for netstandard2.0 and net452 instead of net6.0 #2795

Merged
merged 10 commits into from
Nov 17, 2022
Merged

Build DafnyRuntime for netstandard2.0 and net452 instead of net6.0 #2795

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
726815b
Just switch the single framework
robin-aws Sep 22, 2022
b1f1a39
Don’t explicitly set the framework when publishing
robin-aws Sep 23, 2022
5cb2981
Merge branch 'master' into dafny-runtime-on-more-frameworks
robin-aws Sep 23, 2022
c3f8fb3
Merge branch 'master' into dafny-runtime-on-more-frameworks
robin-aws Nov 14, 2022
8aa98ef
Restore actual change (must have been lost in bad merge)
robin-aws Nov 14, 2022
4bcb2dc
Merge branch 'master' into dafny-runtime-on-more-frameworks
robin-aws Nov 15, 2022
e2d3880
Build DafnyRuntime for net452 as well
robin-aws Nov 17, 2022
9802a65
Fix package.py (although it generates warnings about mismatched archi…
robin-aws Nov 17, 2022
d694dbd
Poke CI
robin-aws Nov 17, 2022
4f7b786
Merge branch 'master' into dafny-runtime-on-more-frameworks
robin-aws Nov 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion Scripts/package.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,6 @@ def run_publish(self, project):
remaining -= 1
exitStatus = subprocess.call(["dotnet", "publish", path.join(SOURCE_DIRECTORY, project, project + ".csproj"),
"--nologo",
"-f", "net6.0",
"-o", self.buildDirectory,
"-r", self.target,
"--self-contained",
Expand Down
Empty file modified Source/DafnyRuntime/DafnyRuntime.csproj
100755 → 100644
View file
Open in desktop
Empty file.