You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on May 1, 2020. It is now read-only.
Copy file name to clipboardExpand all lines: README.md
+12-9Lines changed: 12 additions & 9 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -10,24 +10,27 @@ Install with [npm](https://npmjs.org/package/gulp-purescript)
10
10
npm install gulp-purescript --save-dev
11
11
```
12
12
13
+
## Binaries
14
+
15
+
This plugin requires that the PureScript binaries first be installed. The binaries may be installed using the [purescript](https://www.npmjs.com/package/purescript) NPM package or as described on the PureScript [installation](https://github.com/purescript/purescript/wiki/Language-Guide:-Getting-Started#installation) section of the GitHub wiki.
16
+
13
17
## Example
14
18
15
19
```js
16
-
var gulp =require('gulp')
17
-
, purescript =require('gulp-purescript')
18
-
;
20
+
var gulp =require('gulp');
21
+
22
+
var purescript =require('gulp-purescript');
23
+
19
24
gulp.task('purescript', function(){
20
-
return (
21
-
gulp.src('src/**/*.purs.hs').
22
-
pipe(purescript.psc({noPrelude:true})).
23
-
pipe(gulp.dest('dist/'))
24
-
);
25
+
returngulp.src('src/**/*.purs').
26
+
pipe(purescript.psc({noPrelude:true})).
27
+
pipe(gulp.dest('build'));
25
28
});
26
29
```
27
30
28
31
## API
29
32
30
-
Refer to the PureScript [usage](http://docs.purescript.org/en/latest/start.html#compiler-usage) section for additional details on the behaviour of each option below.
33
+
Refer to the PureScript [compiler usage](https://github.com/purescript/purescript/wiki/Language-Guide:-Getting-Started#compiler-usage) section of the Github wiki for additional details on the behaviour of each option below.
0 commit comments