Skip to content

Commit

Permalink
make checking pluto
Browse files Browse the repository at this point in the history 
there is no rule for make check-pluto, the correct command should be make test
  • Loading branch information
@czartur @bondhugula
czartur authored and bondhugula committed Jul 15, 2023
1 parent 8e24aad commit eddc385
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ $ tar zxvf pluto-0.11.4.tar.gz
$ cd pluto-0.11.4/
$ ./configure [--with-clang-prefix=<clang install location>]
$ make
$ make check-pluto
$ make test
```

configure can be provided `--with-isl-prefix=<isl install location>` to build
Expand Down

0 comments on commit eddc385

Please sign in to comment.