Skip to content
This repository was archived by the owner on Aug 6, 2024. It is now read-only.

Easy run script and stamped binaries #32

Merged
merged 5 commits into from
Oct 19, 2020
Merged

Easy run script and stamped binaries #32

merged 5 commits into from
Oct 19, 2020

Conversation

kaczmarczyck
Copy link
Contributor

In #14, a discussion started about the JSON format. To not block the other code changes from that PR, #14 will be closed and useful features are added it.

This PR has all code changes from #14, without including the results. All other result format changes are dummies for after finalizing the discussion on the intended format. For an easy review, changed are left as reviewed before, except for the removal of initial results.

@kaczmarczyck kaczmarczyck requested a review from jmichelp October 12, 2020 11:39
@kaczmarczyck kaczmarczyck self-assigned this Oct 12, 2020
@kaczmarczyck kaczmarczyck mentioned this pull request Oct 12, 2020
.bazelrc Outdated
@@ -1 +1 @@
build --cxxopt='-std=c++17'
build --cxxopt='-std=c++17' --stamp --workspace_status_command=tools/workspace_status.sh

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How would this work on Windows?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good point. I see 3 solutions:

  1. adapt this solution
  2. use Python, with the disadvantage of another requirement
  3. use the toolchain config and require the user to set the correct platform

WDYT?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I implemented (1), but since I don't have a Windows for testing here, it's basically a shot in the dark. I opened #36 to track that.

@kaczmarczyck kaczmarczyck requested a review from jmichelp October 19, 2020 14:27
@kaczmarczyck kaczmarczyck requested a review from jmichelp October 19, 2020 15:36
@kaczmarczyck kaczmarczyck merged commit 49389a3 into google:master Oct 19, 2020
@kaczmarczyck kaczmarczyck deleted the easy-run branch October 19, 2020 16:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants