Updating: very very minorly

Makefile_overall

@@ -16,6 +16,7 @@ all:: srcgen2_xats2js_jsemit00
 all:: srcgen2_libxats2py
 all:: srcgen2_xats2py_pyemit00
 ############################################################
+############################################################
 #
 # STEP~1 for building xats2js-in-ats2:
 #
@@ -24,7 +25,7 @@ time make -C srcgen1 -f Makefile_patsopt xatsopt
 srcgen1_xats2js:: ; \
 time make -C srcgen1 -f Makefile_patsopt libxatsopt
 srcgen1_xats2js:: ; \
-time make -C srcgen1/xats2js/srcgenx -f Makefile_patsopt xats2js
+time make -C srcgen1/xats2js/srcgen1 -f Makefile_patsopt xats2js
 #
 ############################################################
 #
@@ -40,16 +41,27 @@ time make -C srcgen2/UTIL -f Makefile_xats2js xatsopt_tcheck00
 # STEP~3 for building xats2js_jsemit00
 #
 srcgen2_libxats2js:: ; \
-time make -C srcgen2/xats2js/srcgenx -f Makefile_xats2js libxats2js
+time make -C srcgen2/xats2js/srcgen1 -f Makefile_xats2js libxats2js
 srcgen2_xats2js_jsemit00:: ; \
 time make -C srcgen2/xats2js/srcgen1/UTIL -f Makefile_xats2js xats2js_jsemit00
+############################################################
 #
 # STEP~4 for building xats2py_pyemit00
 #
 srcgen2_libxats2py:: ; \
-time make -C srcgen2/xats2py/srcgenx -f Makefile_xats2js libxats2py
+time make -C srcgen2/xats2py/srcgen1 -f Makefile_xats2js libxats2py
 srcgen2_xats2py_pyemit00:: ; \
 time make -C srcgen2/xats2py/srcgen1/UTIL -f Makefile_xats2js xats2py_pyemit00
 #
 ############################################################
 ############################################################
+cleanall:: ; \
+make -C srcgen1 -f Makefile_patsopt cleanall
+cleanall:: ; \
+make -C srcgen2 -f Makefile_xats2js cleanall
+cleanall:: ; \
+make -C srcgen2/xats2py/srcgen1 -f Makefile_xats2js cleanall
+cleanall:: ; \
+make -C srcgen2/xats2js/srcgen1 -f Makefile_xats2js cleanall
+############################################################
+############################################################

PGROUND/proj001@250109/README.md

@@ -1,4 +1,4 @@
-# How to program a project in ATS3?
+# How to set up a project in ATS3?
 
 ## Build Status
 
@@ -23,3 +23,8 @@ ROOT/srcgen2 for containing the source code of this new
 implementation. When we have more than one implementations of PROJ, we
 can set the link ROOT/srcgenx to the directory containing the default
 implementation.
+
+In ROOT/srcgen1, we may create directories of the names SATS, DATS,
+and HATS for storing files with name extensions sats, dats, and hats,
+respectively. Also, we may have a directory TEST for storing testing
+code.

contrib/githwxi/PGROUND/proj001@250109/srcgen1/TEST/CATS/JS/Makefile

@@ -54,12 +54,11 @@ cleanall:: ; rm -f test??_out.js
 cleanall:: ; rm -f test??_out?.js
 ########################################################################
 ########################################################################
-SRCGEN2_SRCGENX=\
-$(XATSHOME)/srcgen2/xats2js/srcgenx
-SRCGEN2_XSHARED=\
-$(XATSHOME)/srcgen2/xats2js/srcgenx/xshared/runtime
-XATS2JS_JSEMIT00=\
-./../../../../../../TOOLING/xats2js/UTIL/xats2js_jsemit00_dats.js
+SRCGEN2=./../../../../../../../../srcgen2
+XATS2JS=./../../../../../../srcgen2/xats2js
+########################################################################
+SRCGEN2_XSHARED=$(SRCGEN2)/xats2js/srcgenx/xshared/runtime
+XATS2JS_JSEMIT00=$(XATS2JS)/srcgen1/UTIL/xats2js_jsemit00_dats.js
 ########################################################################
 ########################################################################
 

contrib/githwxi/srcgen1/xats2js/Makefile_patsopt → contrib/githwxi/srcgen1/xats2js/srcgen1/Makefile_patsopt

@@ -13,8 +13,8 @@ RMF=rm -f
 MAKE=make
 
 ######
-XATSOPT="./.."
-SRCGEN1=./../../../../srcgen1
+XATSOPT="./../.."
+SRCGEN1=./../../../../../srcgen1
 ######
 #
 PATSCC=$(PATSHOME)/bin/patscc

contrib/githwxi/srcgen2/xats2js/Makefile_xats2js → contrib/githwxi/srcgen2/xats2js/srcgen1/Makefile_xats2js

@@ -27,8 +27,8 @@ MYTEST="."
 ######
 XSHARED="${XATSJSD}/xshared"
 ######
-SRCGEN1=./../../../../srcgen1
-SRCGEN2=./../../../../srcgen2
+SRCGEN1=./../../../../../srcgen1
+SRCGEN2=./../../../../../srcgen2
 ######
 XATSJSD=$(SRCGEN1)/xats2js/srcgen1
 ######
@@ -40,7 +40,7 @@ XATS2JS_XATSLIB_NODE=\
 "$(XSHARED)/runtime/xats2js_xatslib_node.js"
 ########################################################################
 #
-XATS2JS=./../../srcgen1/xats2js/bin/xats2js
+XATS2JS=./../../../srcgen1/xats2js/bin/xats2js
 #
 # XATS2JS=\
 # nix run \

contrib/githwxi/srcgen2/xats2js/UTIL/Makefile_xats2js → contrib/githwxi/srcgen2/xats2js/srcgen1/UTIL/Makefile_xats2js

@@ -24,13 +24,15 @@ NODE=node \
 XSHARED=${XATSJSD}/xshared
 XATS2JS=${XATSJSD}/bin/xats2js
 ########################################################################
-SRCGEN1=./../../../../../srcgen1
-SRCGEN2=./../../../../../srcgen2
+SRCGEN1=\
+./../../../../../../srcgen1
+SRCGEN2=\
+./../../../../../../srcgen2
 ########################################################################
 XATSJSD=$(SRCGEN1)/xats2js/srcgenx
 ########################################################################
 LIBXATS2JS_JS="./../lib/libxats2js.js"
-LIBXATSOPT_JS="./../../lib/libxatsopt.js"
+LIBXATSOPT_JS="./../../../lib/libxatsopt.js"
 ########################################################################
 XATS2JS_PRELUDE=\
 "$(XSHARED)/runtime/xats2js_prelude.js"

contrib/githwxi/srcgen2/xats2py/Makefile_xats2js → contrib/githwxi/srcgen2/xats2py/srcgen1/Makefile_xats2js

@@ -27,8 +27,8 @@ MYTEST="."
 ######
 XSHARED="${XATSJSD}/xshared"
 ######
-SRCGEN1=./../../../../srcgen1
-SRCGEN2=./../../../../srcgen2
+SRCGEN1=./../../../../../srcgen1
+SRCGEN2=./../../../../../srcgen2
 ######
 XATSJSD=\
 $(SRCGEN1)/srcgen1/xats2js/srcgen1
@@ -41,7 +41,7 @@ XATS2JS_XATSLIB_NODE=\
 "$(XSHARED)/runtime/xats2js_xatslib_node.js"
 ########################################################################
 #
-XATS2JS=./../../srcgen1/xats2js/bin/xats2js
+XATS2JS=./../../../srcgen1/xats2js/bin/xats2js
 #
 # XATS2JS=\
 # nix run \

contrib/githwxi/srcgen2/xats2py/UTIL/Makefile_xats2js → contrib/githwxi/srcgen2/xats2py/srcgen1/UTIL/Makefile_xats2js

@@ -21,13 +21,15 @@ NODE=node \
 XSHARED=${XATSJSD}/xshared
 XATS2JS=${XATSJSD}/bin/xats2js
 ########################################################################
-SRCGEN1=./../../../../../srcgen1
-SRCGEN2=./../../../../../srcgen2
+SRCGEN1=\
+./../../../../../../srcgen1
+SRCGEN2=\
+./../../../../../../srcgen2
 ########################################################################
 XATSJSD=$(SRCGEN1)/xats2js/srcgenx
 ########################################################################
 LIBXATS2PY_JS="./../lib/libxats2py.js"
-LIBXATSOPT_JS="./../../lib/libxatsopt.js"
+LIBXATSOPT_JS="./../../../lib/libxatsopt.js"
 ########################################################################
 XATS2JS_PRELUDE=\
 "$(XSHARED)/runtime/xats2js_prelude.js"

srcgen1/Makefile_patsopt

@@ -22,12 +22,6 @@ PATSOPT=$(PATSHOME)/bin/patsopt
 #
 # PATSOPT=$(PATSHOME)/bin/patsopt --gline
 #
-NIXATS2=nix-shell -p ats2 --run
-#
-ifndef IN_NIX_SHELL
-PATSOPT=\
-nix --extra-experimental-features nix-command --extra-experimental-features flakes run github:githwxi/ATS-Postiats\#patsopt --
-endif
 ######
 #
 CFLAGS=