diff options
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/one-ml.rb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Library/Formula/one-ml.rb b/Library/Formula/one-ml.rb index 3c610bf51..fcff7b086 100644 --- a/Library/Formula/one-ml.rb +++ b/Library/Formula/one-ml.rb @@ -2,6 +2,7 @@ class OneMl < Formula homepage "https://www.mpi-sws.org/~rossberg/1ml/" url "https://www.mpi-sws.org/~rossberg/1ml/1ml-0.1.zip" sha256 "64c40c497f48355811fc198a2f515d46c1bb5031957b87f6a297822b07bb9c9a" + revision 1 bottle do cellar :any @@ -15,11 +16,11 @@ class OneMl < Formula def install system "make" bin.install "1ml" - (share/"std").install Dir.glob("*.1ml") + (share/"one-ml/stdlib").install Dir.glob("*.1ml") doc.install "README.txt" end test do - system "#{bin}/1ml", "#{share}/std/prelude.1ml", "#{share}/std/paper.1ml" + system "#{bin}/1ml", "#{share}/one-ml/stdlib/prelude.1ml", "#{share}/one-ml/stdlib/paper.1ml" end end |