fix security makefile

Author: daejunpark

security-attack/Makefile

@@ -8,6 +8,9 @@ build: js.k
 js.k: ../js.k
 	cp -f ../js.k .
 	patch -p1 <js.k.patch
+	ln -s ../js-trans.k
+	ln -s ../js-str-numeric-literal.k
+	ln -s ../js-prelude.k
 
 .PHONY: run
 run:

security-attack/js.k.patch

@@ -1,17 +1,5 @@
 --- a/js.k	2015-02-12 15:10:09.000000000 -0600
-+++ b/js.k	2015-02-12 15:22:06.000000000 -0600
-@@ -1,8 +1,8 @@
--require "js-trans.k"
--require "js-str-numeric-literal.k"
--require "js-prelude.k"
-+require "../js-trans.k"
-+require "../js-str-numeric-literal.k"
-+require "../js-prelude.k"
- 
- module JS-SYNTAX
- imports JS-ORIG-SYNTAX
- imports JS-STR-NUMERIC-LITERAL
- endmodule
++++ b/js.k	2015-02-12 15:53:30.000000000 -0600
 @@ -2022,10 +2022,15 @@
          <obj>
              <oid>