diff options
Diffstat (limited to 'homebrew/smlnj/.make.sh-auto')
-rw-r--r-- | homebrew/smlnj/.make.sh-auto | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/homebrew/smlnj/.make.sh-auto b/homebrew/smlnj/.make.sh-auto new file mode 100644 index 000000000..9cf2bd756 --- /dev/null +++ b/homebrew/smlnj/.make.sh-auto @@ -0,0 +1,10 @@ +pkg:setup +ENV.deparallelize +ENV.m32 +root = prefix/"SMLNJ_HOME" +root.mkpath +cp_r buildpath, root/"config" +rm root/"config/targets" +(root/"config/targets").write targets +%w[cm compiler runtime system].each do |name| +resource(name).stage { cp_r pwd, root/"base" } |