Updated.

sireum · Oct 31, 2024 · 9391d94 · 9391d94
1 parent f1e6bf2
commit 9391d94
Show file tree

Hide file tree

Showing 8 changed files with 5 additions and 3 deletions.
diff --git a/_pagefind/fragment/en_4dd30bb.pf_fragment b/_pagefind/fragment/en_4dd30bb.pf_fragment
diff --git a/_pagefind/fragment/en_ceb33fa.pf_fragment b/_pagefind/fragment/en_ceb33fa.pf_fragment
diff --git a/_pagefind/index/en_68881a7.pf_index b/_pagefind/index/en_68881a7.pf_index
diff --git a/_pagefind/index/en_7070f61.pf_index b/_pagefind/index/en_7070f61.pf_index
diff --git a/_pagefind/pagefind-entry.json b/_pagefind/pagefind-entry.json
@@ -1 +1 @@
-{"version":"1.1.1","languages":{"en":{"hash":"en_edaaa9776c","wasm":"en","page_count":8}}}
+{"version":"1.1.1","languages":{"en":{"hash":"en_adcb1d73a4","wasm":"en","page_count":8}}}
diff --git a/_pagefind/pagefind.en_adcb1d73a4.pf_meta b/_pagefind/pagefind.en_adcb1d73a4.pf_meta
diff --git a/_pagefind/pagefind.en_edaaa9776c.pf_meta b/_pagefind/pagefind.en_edaaa9776c.pf_meta
diff --git a/getting-started/index.html b/getting-started/index.html
@@ -45,7 +45,7 @@
 
   <meta itemprop="name" content="Getting Started">
   <meta itemprop="description" content="Sireum can be retrieved using installers, packaged binaries, or from source. The main advantage of using the source distribution is that updates can be done incrementally while the binary distribution requires complete re-installation. On the other hand, source distribution requires more setup. The source distribution should be used by Sireum developers and code contributors, while users are recommended to use the latest packaged binary release, (or using the installer scripts for older releases). The package binary release includes a Sireum native executable that voids JVM boot-up time.">
-  <meta itemprop="wordCount" content="1736">
+  <meta itemprop="wordCount" content="1759">
   <meta itemprop="image" content="https://sireum.org/">
 
   <meta name="twitter:card" content="summary_large_image">
@@ -1528,7 +1528,9 @@ <h3 id="using-sireum">Using Sireum</h3>
 Logika in action on some of the <code>.sc</code> example files.</p>
 <p>See <a href="https://doc.sireum.org">Sireum Documentation</a> for more information.</p>
 <h4 id="native-executable">Native Executable</h4>
-<p>It is recommended to compile Sireum (and Slash build scripts) to native in certain situations in order to avoid JVM boot up time.</p>
+<p>It is recommended to compile Sireum (and Slash build scripts) to native in certain situations in order to avoid JVM boot up time.
+The packaged binary releases include natively compiled Sireum.
+For other installation methods, below is the instructions on how to compile Sireum to native.</p>
 <p>First, install <a href="http://graalvm.org">GraalVM</a> <a href="https://www.graalvm.org/reference-manual/native-image/#prerequisites"><code>native-image</code>&rsquo;s prerequisites</a>
 (note: <code>native-image</code> for Windows requires Visual Studio Community/Enterprise);
 then, to build Sireum native executable:</p>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"version":"1.1.1","languages":{"en":{"hash":"en_edaaa9776c","wasm":"en","page_count":8}}}
		{"version":"1.1.1","languages":{"en":{"hash":"en_adcb1d73a4","wasm":"en","page_count":8}}}