1 files changed, 47 insertions, 0 deletions
diff --git a/korean/elm/files/elm-config b/korean/elm/files/elm-config
new file mode 100644
index 000000000000..617d3612bdc9
--- /dev/null
+++ b/korean/elm/files/elm-config
@@ -0,0 +1,47 @@
+#!/bin/sh
+# tail part of configure
+#
+# by junker@jazz.snu.ac.kr
+#
+
+PortsDir=$PORTSDIR
+CurDir=$CURDIR
+WrkSrc=$WRKSRC
+Prefix=$PREFIX
+
+echo "prefix is $PREFIX"
+
+# read configuration
+. ./config.sh
+
+echo " "
+echo "Doing variable substitutions on .SH files..."
+set x `awk '{print $1}' <MANIFEST | $grep '\.SH'`
+shift
+case $# in
+0) set x *.SH; shift;;
+esac
+if test ! -f $1; then
+    shift
+fi
+
+for file in $*; do
+    case "$file" in
+    */*)
+        dir=`$expr X$file : 'X\(.*\)/'`
+        file=`$expr X$file : 'X.*/\(.*\)'`
+        (cd $dir && . $file)
+        ;;
+    *)
+        (. $file)
+        ;;
+    esac
+done
+if test -f config.h.SH; then
+    if test ! -f config.h; then
+        : oops, they left it out of MANIFEST, probably, so do it anyway.
+        (. config.h.SH)
+    fi
+fi
+
+#make depend