Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fixing some minor glitches by following suggestions of Yuri D'Elia

(yuri.delia AT eurac DOT edu).
  • Loading branch information...
commit 87dab3cff7beb2ac0976be92f419c675ff674ba9 1 parent 7e635c9
Hongwei Xi authored
View
46 INSTALL
@@ -21,7 +21,7 @@ Then set the environment variable ATSHOME to "/usr/share/atshome".
######
#
-# Installation from source code compilation
+# Installation through source code compilation
#
######
@@ -89,5 +89,49 @@ or in CSH/TCSH as follows:
setenv PATH ${PATH}:${ATSHOME}/bin
+------------------------------------------------------------------------
+
+######
+#
+# Installation through bootstrapping
+#
+######
+
+Prerequisite: [byacc] is needed for bootstrapping.
+
+In order to bootstrap ATS/Anairiats, one needs to first check out the
+following svn directory and name it as some local directory, say, "FOO":
+
+svn co https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/trunk FOO
+
+Then one needs to check out another svn directory and name it as the local
+directory "FOO/bootstrap0":
+
+svn co \
+ https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/bootstrap/anairiats-x.x.x \
+ FOO/bootstrap0
+
+Note that "x.x.x" should be replaced with the latest version number
+available for bootstrapping, which currently is "0.1.0". After this is
+done, please go into the directory "FOO" and execute the command 'autoconf'
+and then do 'make all'.
+
+It is also possible to use the ATS/Geizella compiler (written in Objective
+Caml) for bootstrapping ATS/Anairiats. This can be done by checking out the
+following svn directory and name it as the local directory
+"FOO/bootstrap0":
+
+svn co \
+ https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/bootstrap/geizella-x.x.x \
+ FOO/bootstrap0
+
+Note that "x.x.x" should be replaced with the latest version number
+available for bootstrapping, which currently is "0.1.0". After this is
+done, please go into the directory "FOO" and execute the command 'autoconf'
+and then do 'make all'.
+
+######
+
+------------------------------------------------------------------------
###### end of [INSTALL] ######
View
1  bin/.keeper
@@ -0,0 +1 @@
+// for keeping the directory from being removed.
View
1  ccomp/lib/output/.keeper
@@ -0,0 +1 @@
+// for keeping the directory from being removed.
View
4 utils/scripts/atspack.dats
@@ -265,6 +265,8 @@ fn bin_dir_copy (knd: packnd): void = let
end // end of [cpx]
val () = mkdir_exn (DSTROOTbin, DIRmode)
+ // for keeping the directory from being removed
+ val () = cp (".keeper")
val () = begin
if (packnd_is_precompiled knd) then (cpx "atscc"; cpx "atsopt")
end // end of [begin]
@@ -375,6 +377,8 @@ fn ccomp_lib_dir_copy (knd: packnd): void = let
(SRCROOTccomp_lib + "libats.a", DSTROOTccomp_lib + "libats.a")
end // end of [val]
val () = mkdir_exn (DSTROOTccomp_lib_output, DIRmode)
+ val () = fcopy_exn // keeping the directory from being removed
+ (SRCROOTccomp_lib_output + ".keeper", DSTROOTccomp_lib_output + ".keeper")
in
// empty
end // end of [ccomp_lib_dir_copy]
Please sign in to comment.
Something went wrong with that request. Please try again.