diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-01-01 22:04:28 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-01-01 22:04:28 -0500 |
| commit | 4985395c44b8aecfe54417a383762825292ac5d5 (patch) | |
| tree | 927770ac3a5c74999f6008fadc217bb62df938cf /src/main.mlton.sml | |
| parent | f5f93f6efc15ade5945e8572d889f22d198611b9 (diff) | |
Update the homebrew tap for mlton
This version of the tap has mlton looking for libgmp.a in the correct
directory.
Diffstat (limited to 'src/main.mlton.sml')
0 files changed, 0 insertions, 0 deletions