diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
| commit | d826ef007efdab3e749a3c0d018a93a811993b6c (patch) | |
| tree | 384fba2c77536ef2cff87698787688839b6998a9 /.travis.yml | |
| parent | 2c2ac41de0bedabc3b8fd53d28f8b65859eb4287 (diff) | |
Add a "lite" target
This builds everything in the default target except
WeierstrassCurveTheorems.vo, which, I believe, is the slowest file.
This closes #129.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions