GitHub - githwxi/atslangweb: For http://ats-lang.org

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1,506 Commits
.openshift		.openshift
CLIENT/MYCODE		CLIENT/MYCODE
MYDATA		MYDATA
SCRIPT		SCRIPT
SERVER/MYCODE		SERVER/MYCODE
ats1-lang		ats1-lang
ats2-lang-contrib/contrib		ats2-lang-contrib/contrib
ats2-lang		ats2-lang
.bash_myenv		.bash_myenv
Community.html		Community.html
Documents.html		Documents.html
Downloads.html		Downloads.html
Examples.html		Examples.html
Home.html		Home.html
Implements.html		Implements.html
Libraries.html		Libraries.html
Makefile		Makefile
Papers.html		Papers.html
Patsoptaas.html		Patsoptaas.html
Procfile		Procfile
README		README
Resources.html		Resources.html
composer.json		composer.json
index.html		index.html
index.php.origin		index.php.origin
package.json		package.json

Repository files navigation

###### beg of [README] ######
(*
#
# HX-2016-09-10:
# Running on OpenShift(gmhwxi@gmail.com)
#
*)
######

The following steps are for building various
ATS2 commands needed by the website.

######

NOTE: please compile in the following dir:

app-root/runtime/repo (instead of app-root/repo)!!!

######

MYREPO =
app-root/runtime/repo/

######

source ${MYREPO}/.bash_myenv

######

ats1-lang:
for building atscc (ATS1-Anairiats)

######

ats2-lang:
for building patscc (ATS2-Anairiats)

######

ats2-lang/utils/libatsopt:
for building libatsopt.a
and putting it into ats1-lang/ccomb/lib

######

ats2-lang/utils/atsynmark:
for building pats2xhtml

ats2-lang/utils/libatsynmark: 
for building libatsynmark.a
and putting it into ats1-lang/ccomb/lib

######

ats2-lang/contrib/CATS-atscc2js: for building atscc2js
  
######

Migration: from OPENSHIFT2 to OPENSHIFT3 (by 2017-09-30)

###### end of [README] ######