Skip to content

Commit

Permalink
Add a script for launching the REPL
Browse files Browse the repository at this point in the history
  • Loading branch information
noti0na1 committed Feb 21, 2025
1 parent c18ac07 commit 4661104
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions bin/repl
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
#!/usr/bin/env bash

ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" >& /dev/null && pwd)/.."
. $ROOT/bin/commonQ

java -Dscala.usejavacp=true -cp $cp dotty.tools.repl.Main -usejavacp "$@"

0 comments on commit 4661104

Please sign in to comment.