Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add package info and raco command information
Additionally: 1) Changes the #:args from _ to () to declare no args are accepted, rather than all args are ignored. Improves the command help output 2) Adds compiled/ to the git ignore, which is the directory created by DrRacket for zo files 3) Adds a notice to the license file indicating the copyright to my patch is owned by Google (wrote this on corp laptop). This does not change the MIT license in any way or affect any part of the project other than this patch.
- Loading branch information
Showing
5 changed files
with
15 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -9,6 +9,7 @@ compile/nr*.c | |
compile/nr*.out | ||
compile/nr.json | ||
compile/cost | ||
compiled/ | ||
ml-toy | ||
papers | ||
www/demo | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
#lang info | ||
(define collection "herbie") | ||
(define compile-omit-paths '("test" "reports/bash-pred-test.rkt" "herbie-web" "util.rkt")) | ||
(define raco-commands '(("herbie" (submod herbie/interface/inout main) "improve floating point expression accuracy" 75))) | ||
(define deps '("base" | ||
"math-lib" | ||
"plot-lib" | ||
"profile-lib" | ||
"rackunit-lib" | ||
"srfi-lite-lib" | ||
"web-server-lib")) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters