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

First cut cmdliner support #5

Merged
11 commits merged into from
Feb 20, 2017
+4,944 −54
Merged

First cut cmdliner support #5

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
15e1717
Check in cmdliner
rgrinberg Feb 15, 2017
df02953
Remove mentions of Result module in Cmdliner
rgrinberg Feb 15, 2017
42603bd
First cut at switching to cmdliner
rgrinberg Feb 15, 2017
d4c9574
Remove cmdliner.mllib
rgrinberg Feb 16, 2017
e688abe
Set concurrency default to 1
rgrinberg Feb 16, 2017
d42b77d
Fix flag names
rgrinberg Feb 16, 2017
ecbd375
Set default command to building a target
rgrinberg Feb 16, 2017
c53f46e
Common options section
rgrinberg Feb 16, 2017
9a344f4
Add cmdliner's license
rgrinberg Feb 17, 2017
a3abe8f
Revert "Remove mentions of Result module in Cmdliner"
rgrinberg Feb 17, 2017
ada1397
Add result module for cmdliner compat
rgrinberg Feb 17, 2017
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
Prev Previous commit
Next Next commit
Add cmdliner's license
@rgrinberg
rgrinberg committed Feb 17, 2017
commit 9a344f40c1178eba3def4f54213f59b713e176e1
13 changes: 13 additions & 0 deletions LICENSE.cmdliner
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
Copyright (c) 2011 Daniel C. Bünzli

Permission to use, copy, modify, and/or distribute this software for any
purpose with or without fee is hereby granted, provided that the above
copyright notice and this permission notice appear in all copies.

THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.