Updating: very very minorly

prelude/TEST/CATS/JS/Makefile_jsemit

@@ -0,0 +1,37 @@
+########################################################################
+# Makefile for JS-emission
+########################################################################
+NODE=node
+########################################################################
+all:: test01
+all:: test02
+all:: test03
+all:: test04
+all:: test05
+########################################################################
+test01: \
+test01_a0rf000.dats; \
+$(NODE) --stack-size=4096 \
+$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js $<
+########################################################################
+test02: \
+test02_a1rf000.dats; \
+$(NODE) --stack-size=4096 \
+$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js $<
+########################################################################
+test03: \
+test03_a1sz000.dats; \
+$(NODE) --stack-size=4096 \
+$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js $<
+########################################################################
+test04: \
+test04_strn000.dats; \
+$(NODE) --stack-size=4096 \
+$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js $<
+########################################################################
+test05: \
+test05_gdbg000.dats; \
+$(NODE) --stack-size=4096 \
+$(XATSHOME)/srcgen2/xats2js/srcgenx/UTIL/xats2js_jsemit_dats.js $<
+########################################################################
+###################### end of [Makefile_jsemit] ########################

srcgen2/UTIL/Makefile_xats2js

@@ -23,7 +23,7 @@ XSHARED=${XATSJSD}/xshared
 XATS2JS=${XATSJSD}/bin/xats2js
 ########################################################################
 XATSJSD=\
-./../../srcgen1/xats2js/srcgenx
+$(XATSHOME)/srcgen1/xats2js/srcgenx
 ########################################################################
 LIBXATSOPT_JS="./../lib/libxatsopt.js"
 ########################################################################

srcgen2/xats2js/srcgen1/UTIL/Makefile

@@ -0,0 +1 @@
+Makefile_xats2js

srcgen2/xats2js/srcgen1/UTIL/Makefile_xats2js

@@ -0,0 +1,60 @@
+########################################################################
+#
+# For compiling xats2js_jsemit to JS
+#
+########################################################################
+#
+# HX-2024-03-25:
+# Mon 25 Mar 2024 06:06:29 PM EDT
+# The compiler is srcgen1/xats2js
+#
+########################################################################
+CAT=cat
+CPF=cp -f
+ECHO=echo
+NODE=node
+NODE=node \
+--stack-size=4096
+NODE=node \
+--stack-size=4096 \
+--max-old-space-size=4096
+########################################################################
+XSHARED=${XATSJSD}/xshared
+XATS2JS=${XATSJSD}/bin/xats2js
+########################################################################
+XATSJSD=\
+$(XATSHOME)/srcgen1/xats2js/srcgenx
+########################################################################
+LIBXATS2JS_JS="./../lib/libxats2js.js"
+LIBXATSOPT_JS="./../../../lib/libxatsopt.js"
+########################################################################
+XATS2JS_PRELUDE="$(XSHARED)/runtime/xats2js_prelude.js"
+XATS2JS_PRELUDE_NODE="$(XSHARED)/runtime/xats2js_prelude_node.js"
+XATS2JS_XATSLIB_NODE="$(XSHARED)/runtime/xats2js_xatslib_node.js"
+########################################################################
+#
+all:: \
+xats2js_jsemit
+xats2js_jsemit:: \
+xats2js_jsemit.dats ; \
+$(CAT) \
+$(XATS2JS_PRELUDE) > $@_dats.js && \
+$(CAT) \
+$(XATS2JS_PRELUDE_NODE) >> $@_dats.js && \
+$(CAT) \
+$(XATS2JS_XATSLIB_NODE) >> $@_dats.js && \
+$(CAT) $(LIBXATSOPT_JS) >> $@_dats.js && \
+$(CAT) $(LIBXATS2JS_JS) >> $@_dats.js && \
+$(XATS2JS) --output-a $@_dats.js --dynamic [email protected]
+#
+########################################################################
+#
+# HX: for cleaning up
+#
+clean:: ; rm -f *~
+#
+cleanall:: clean
+cleanall:: ; rm -f ./xats2js_jsemit_dats.js
+#
+########################################################################
+###################### end of [Makefile_xats2js] #######################

srcgen2/xats2js/srcgen1/UTIL/xats2js_jsemit.dats

@@ -36,32 +36,32 @@ Authoremail: gmhwxiATgmailDOTcom
 (* ****** ****** *)
 (* ****** ****** *)
 #include
-"./../../../..\
+"./../../..\
 /HATS/xatsopt_sats.hats"
 #include
-"./../../../..\
+"./../../..\
 /HATS/xatsopt_dats.hats"
 (* ****** ****** *)
 #include
-"./../../HATS/libxatsopt.hats"
+"./../HATS/libxatsopt.hats"
 (* ****** ****** *)
 (* ****** ****** *)
 //
 #staload
-"./../../SATS/intrep0.sats"
+"./../SATS/intrep0.sats"
 #staload
-"./../../SATS/intrep1.sats"
+"./../SATS/intrep1.sats"
 #staload
-"./../../SATS/trxd3i0.sats"
+"./../SATS/trxd3i0.sats"
 #staload
-"./../../SATS/trxi0i1.sats"
+"./../SATS/trxi0i1.sats"
 #staload
-"./../../SATS/xats2js.sats"
+"./../SATS/xats2js.sats"
 #staload
-"./../../SATS/js1emit.sats"
+"./../SATS/js1emit.sats"
 //
 #staload _ =
-"./../../DATS/xats2js_tmplib.dats"
+"./../DATS/xats2js_tmplib.dats"
 //
 (* ****** ****** *)
 (* ****** ****** *)