diff options
| author | Patrik Jansson <patrik.ja@gmail.com> | 2015-10-28 22:06:08 +0100 |
|---|---|---|
| committer | Patrik Jansson <patrik.ja@gmail.com> | 2015-10-28 22:06:08 +0100 |
| commit | 83f6998b935829a54a5737632af18279adc7665a (patch) | |
| tree | db5277cfc055cbe87aab1b06abc75d52d7d4b0ab /stack.yaml | |
| parent | ef7283f6254422204c8f68c4cdde0094003e127f (diff) | |
updated directory separator to slash (/). As far as I can tell that is the way it is supposed to work, but I have not tried on Windows.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 12 |
1 files changed, 6 insertions, 6 deletions
| @@ -8,11 +8,11 @@ flags: | |||
| 8 | hmatrix-gsl: | 8 | hmatrix-gsl: |
| 9 | onlygsl: false | 9 | onlygsl: false |
| 10 | packages: | 10 | packages: |
| 11 | - packages\tests\ | 11 | - packages/tests/ |
| 12 | - packages\special\ | 12 | - packages/special/ |
| 13 | - packages\sparse\ | 13 | - packages/sparse/ |
| 14 | - packages\gsl\ | 14 | - packages/gsl/ |
| 15 | - packages\glpk\ | 15 | - packages/glpk/ |
| 16 | - packages\base\ | 16 | - packages/base/ |
| 17 | extra-deps: [] | 17 | extra-deps: [] |
| 18 | resolver: lts-3.3 | 18 | resolver: lts-3.3 |