diff --git a/.gitignore b/.gitignore index df8777c642..fd77f6775c 100644 --- a/.gitignore +++ b/.gitignore @@ -227,6 +227,7 @@ doc/DISTRIB/ATS-Postiats/ccomp/atslib/output doc/DISTRIB/ATS-Postiats/ccomp/atslib/Makefile doc/DISTRIB/ATS-Postiats/ccomp/runtime doc/DISTRIB/ATS-Postiats/utils/atscc +doc/DISTRIB/ATS-Postiats/utils/emacs doc/DISTRIB/ATS-Postiats/prelude/*.ats doc/DISTRIB/ATS-Postiats/prelude/*.?ats doc/DISTRIB/ATS-Postiats/prelude/?ATS/*.?ats diff --git a/doc/DISTRIB/ATEXT/utils_emacs.atxt b/doc/DISTRIB/ATEXT/utils_emacs.atxt new file mode 100644 index 0000000000..1c69c7c915 --- /dev/null +++ b/doc/DISTRIB/ATEXT/utils_emacs.atxt @@ -0,0 +1,119 @@ +%{ +// +dynload "libatsdoc/dynloadall.dats" +// +staload "libatsdoc/SATS/libatsdoc_atext.sats" +// +extern +fun comment (x: string): atext +// +extern +fun packpreamble (): atext +extern +fun packpostamble (): atext +extern +fun packtitle (x: string): atext +extern +fun packfilename (x: string): atext +extern +fun packfilesynop (x: string): atext +// +%} + +(* ****** ****** *) + +%{ + +implement +comment (x) = atext_nil () + +%} + +(* ****** ****** *) + +%{ + +implement +packpreamble () = let +// +val out = stdout_ref +val () = fprint_string (out, "\ +#!/bin/bash\n\ +#\n\ +# This script is automatically generated.\n\ +#\n\ +\n\ +SOURCE=../../utils/emacs\n\ +TARGET=ATS-Postiats/utils/emacs\n\ +\n\ +srcget ()\n\ +{\n\ +cp -f ${SOURCE}/$1 ${TARGET}/$1 ;\n\ +}\n\ +\n\ +") // end of [val] +// +in + atext_nil () +end // end of [packpreamble] + +implement +packpostamble () = let +val out = stdout_ref +val () = fprint_string (out, "\ +#\n\ +echo \"The \${ATSHOME}/utils/emacs files have been copied.\"\n\ +#\n\ +# end of the automatically generated script\n\ +#\n\ +") +in + atext_nil () +end // end of [packpostamble] + +implement +packtitle (x) = atext_nil () + +implement +packfilename (x) = let +// +val out = stdout_ref +val () = fprintf (out, "srcget \"%s\" ;\n", @(x)) +// +in + atext_nil () +end // end of [packfilename] + +implement +packfilesynop (x) = atext_nil () + +%} + +(* ****** ****** *) + +#packpreamble() + +(* ****** ****** *) + +#packtitle("\ +ATS/utils/emacs +") + +(* ****** ****** *) +// +#packfilename("ats2-mode.el") +#packfilename("ats2-flymake.el") +// +(* ****** ****** *) + +#packpostamble() + +(* ****** ****** *) + +%{ +implement main (argc, argv) = () +%} + +(* ****** ****** *) + +(* end of [utils_emacs.atxt] *) diff --git a/doc/DISTRIB/ATS-Postiats/src/CBOOT/config.h b/doc/DISTRIB/ATS-Postiats/src/CBOOT/config.h index 356ca92d87..73b8701add 100644 --- a/doc/DISTRIB/ATS-Postiats/src/CBOOT/config.h +++ b/doc/DISTRIB/ATS-Postiats/src/CBOOT/config.h @@ -47,7 +47,7 @@ #define PACKAGE_NAME "ATS2/Postiats" /* Define to the full name and version of this package. */ -#define PACKAGE_STRING "ATS2/Postiats 0.1.4" +#define PACKAGE_STRING "ATS2/Postiats 0.1.9" /* Define to the one symbol short name of this package. */ #define PACKAGE_TARNAME "ats2-postiats" @@ -56,7 +56,7 @@ #define PACKAGE_URL "" /* Define to the version of this package. */ -#define PACKAGE_VERSION "0.1.4" +#define PACKAGE_VERSION "0.1.9" /* The size of `void*', as computed by sizeof. */ #define SIZEOF_VOIDP 8 diff --git a/doc/DISTRIB/ATS-Postiats/utils/emacs/.keeper b/doc/DISTRIB/ATS-Postiats/utils/emacs/.keeper new file mode 100644 index 0000000000..e69de29bb2 diff --git a/doc/DISTRIB/Makefile b/doc/DISTRIB/Makefile index e4902ab226..7430a8c9bb 100644 --- a/doc/DISTRIB/Makefile +++ b/doc/DISTRIB/Makefile @@ -161,6 +161,16 @@ clean:: ; $(RMF) utils_atscc_atxt.exe cleanall:: ; $(RMF) HTML/utils_atscc.html cleanall:: ; $(RMF) SCRIPT/utils_atscc.bash +all_script:: \ +SCRIPT/utils_emacs.bash +SCRIPT/utils_emacs.bash: utils_emacs_atxt.exe ; ./$< > $@ +utils_emacs_atxt.dats: ATEXT/utils_emacs.atxt ; \ + $(CAT) $< | $(ATSDOC) --prefix __datatok --outcode $@ > /dev/null +utils_emacs_atxt.exe: utils_emacs_atxt.dats ; $(ATSCC) $(INCLATS) $(GCFLAG) -o $@ $< -latsdoc +clean:: ; $(RMF) utils_emacs_atxt.exe +cleanall:: ; $(RMF) HTML/utils_emacs.html +cleanall:: ; $(RMF) SCRIPT/utils_emacs.bash + ###### @@ -419,6 +429,7 @@ atspackaging:: srcget_atslib atspackaging:: srcget_ccomp_atslib atspackaging:: srcget_ccomp_runtime atspackaging:: srcget_utils_atscc +atspackaging:: srcget_utils_emacs atspackaging:: srcget_doc_example atspackaging:: ; (cd ATS-Postiats && ./autogen.sh) @@ -479,6 +490,7 @@ srcget_ccomp_runtime:: SCRIPT/ccomp_runtime.bash ; bash $< ###### srcget_utils_atscc:: SCRIPT/utils_atscc.bash ; bash $< +srcget_utils_emacs:: SCRIPT/utils_emacs.bash ; bash $< ###### @@ -583,7 +595,7 @@ srcget_atscntrb_libatscc:: SCRIPT/atscntrb_libatscc.bash ; bash $< ###### # -PACKNAME=ATS2-Postiats-0.1.8 +PACKNAME=ATS2-Postiats-0.1.9 # atspacktarzvcf:: ; $(RMRF) $(PACKNAME) atspacktarzvcf:: ; $(CPRF) ATS-Postiats $(PACKNAME) @@ -598,14 +610,14 @@ scp $(PACKNAME).tgz ats-hwxi,ats-lang@web.sourceforge.net:htdocs/IMPLEMENT/Posti # ###### # -PACKNAMEintmin=ATS2-Postiats-intmin-0.1.8 +PACKNAMEintmin=ATS2-Postiats-intmin-0.1.9 # atspacktarzvcf_intmin_up:: ; \ scp $(PACKNAME).tgz ats-hwxi,ats-lang@web.sourceforge.net:htdocs/IMPLEMENT/Postiats/$(PACKNAMEintmin).tgz # ###### -CNTRBNAME=ATS2-Postiats-contrib-0.1.8 +CNTRBNAME=ATS2-Postiats-contrib-0.1.9 atscntrbtarzvcf:: ; $(RMRF) $(CNTRBNAME) atscntrbtarzvcf:: ; $(CPRF) ATS-Postiats-contrib $(CNTRBNAME) atscntrbtarzvcf:: ; $(TARZVCF) $(CNTRBNAME).tgz $(CNTRBNAME)/. diff --git a/doc/DISTRIB/Makefile.atxt b/doc/DISTRIB/Makefile.atxt index 182f179f03..5ba93dcdd2 100644 --- a/doc/DISTRIB/Makefile.atxt +++ b/doc/DISTRIB/Makefile.atxt @@ -110,6 +110,7 @@ all_script:: ###### #make_entry("utils_atscc") +#make_entry("utils_emacs") ###### @@ -161,6 +162,7 @@ atspackaging:: srcget_atslib atspackaging:: srcget_ccomp_atslib atspackaging:: srcget_ccomp_runtime atspackaging:: srcget_utils_atscc +atspackaging:: srcget_utils_emacs atspackaging:: srcget_doc_example atspackaging:: ; (cd ATS-Postiats && ./autogen.sh) @@ -221,6 +223,7 @@ srcget_ccomp_runtime:: SCRIPT/ccomp_runtime.bash ; bash $< ###### srcget_utils_atscc:: SCRIPT/utils_atscc.bash ; bash $< +srcget_utils_emacs:: SCRIPT/utils_emacs.bash ; bash $< ###### @@ -325,7 +328,7 @@ srcget_atscntrb_libatscc:: SCRIPT/atscntrb_libatscc.bash ; bash $< ###### # -PACKNAME=ATS2-Postiats-0.1.8 +PACKNAME=ATS2-Postiats-0.1.9 # atspacktarzvcf:: ; $(RMRF) $(PACKNAME) atspacktarzvcf:: ; $(CPRF) ATS-Postiats $(PACKNAME) @@ -340,14 +343,14 @@ scp $(PACKNAME).tgz ats-hwxi,ats-lang@web.sourceforge.net:htdocs/IMPLEMENT/Posti # ###### # -PACKNAMEintmin=ATS2-Postiats-intmin-0.1.8 +PACKNAMEintmin=ATS2-Postiats-intmin-0.1.9 # atspacktarzvcf_intmin_up:: ; \\ scp $(PACKNAME).tgz ats-hwxi,ats-lang@web.sourceforge.net:htdocs/IMPLEMENT/Postiats/$(PACKNAMEintmin).tgz # ###### -CNTRBNAME=ATS2-Postiats-contrib-0.1.8 +CNTRBNAME=ATS2-Postiats-contrib-0.1.9 atscntrbtarzvcf:: ; $(RMRF) $(CNTRBNAME) atscntrbtarzvcf:: ; $(CPRF) ATS-Postiats-contrib $(CNTRBNAME) atscntrbtarzvcf:: ; $(TARZVCF) $(CNTRBNAME).tgz $(CNTRBNAME)/.