ConSol-Lab · andtsa · May 13, 2025 · May 13, 2025 · Jun 9, 2025
diff --git a/.cargo/config.toml b/.cargo/config.toml
@@ -0,0 +1,5 @@
+[target.x86_64-unknown-linux-musl]
+linker = "musl-gcc"
+rustflags = [
+  "-C", "target-feature=+crt-static"
+]
diff --git a/.gitignore b/.gitignore
@@ -12,4 +12,3 @@ Cargo.lock
 /*.man
 compile.fish
 /*.profraw
-.cargo
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,11 +6,11 @@ version = "1.2.1"
 edition = "2021"
 default-run = "gourd"
 authors = [
-  "Mikołaj Gazeel <m.j.gazeel@student.tudelft.nl>",
+  "Mikołaj Gazeel <mgazeel@ethz.ch>",
   "Lukáš Chládek <l@chla.cz>",
-  "Ανδρέας Τσατσάνης <a.tsatsanis@student.tudelft.nl>",
+  "Ανδρέας Τσατσάνης <atsatsanis@tudelft.nl>",
   "Jan Piotrowski <me@jan.wf>",
-  "Rūta Giedrytė <r.giedryte@student.tudelft.nl>"
+  "Rūta Giedrytė <rgiedryte@tudelft.nl>"
 ]
 
 build = "build.rs"

diff --git a/README.md b/README.md
@@ -98,12 +98,13 @@ An artifact is available from the GitLab pipeline `documentation` job, or
 
 ### Authors
 
-- Mikołaj Gazeel, m.j.gazeel@tudelft.nl
+- Mikołaj Gazeel, mgazeel@ethz.ch
 - Lukáš Chládek, l@chla.cz
-- Ανδρέας Τσατσάνης, a.tsatsanis@tudelft.nl
-- Rūta Giedrytė, r.giedryte@tudelft.nl
+- Ανδρέας Τσατσάνης, atsatsanis@tudelft.nl
+- Rūta Giedrytė, rgiedryte@tudelft.nl
 - Jan Piotrowski, me@jan.wf
 
 ### Maintainers
-- Ανδρέας Τσατσάνης, a.tsatsanis@tudelft.nl
-
+- Ανδρέας Τσατσάνης, atsatsanis@tudelft.nl
+- Lukáš Chládek, l@chla.cz
+- Mikołaj Gazeel, m.j.gazeel@tudelft.nl
diff --git a/docs/user/gourd-tutorial.7.tex b/docs/user/gourd-tutorial.7.tex
@@ -364,9 +364,9 @@
     \Prog{gourd.toml(5)}
 
     \section{CONTACT}
-    Ανδρέας Τσατσάνης <\Email{a.tsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
+    Ανδρέας Τσατσάνης <\Email{atsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
     Lukáš Chládek <\Email{l@chla.cz}>\\[0.1cm]\MANbr
-    Mikołaj Gazeel <\Email{m.j.gazeel@tudelft.nl}>\\[0.1cm]\MANbr
+    Mikołaj Gazeel <\Email{mgazeel@ethz.ch}>\\[0.1cm]\MANbr
 
 %@% IF LATEX %@%
 \end{adjustwidth}

diff --git a/docs/user/gourd.1.tex b/docs/user/gourd.1.tex
@@ -574,9 +574,9 @@
         \Prog{gourd.toml(5)}
 
     \section{CONTACT}
-    Ανδρέας Τσατσάνης <\Email{a.tsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
+    Ανδρέας Τσατσάνης <\Email{atsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
     Lukáš Chládek <\Email{l@chla.cz}>\\[0.1cm]\MANbr
-    Mikołaj Gazeel <\Email{m.j.gazeel@tudelft.nl}>\\[0.1cm]\MANbr
+    Mikołaj Gazeel <\Email{mgazeel@ethz.ch}>\\[0.1cm]\MANbr
 
 %@% IF LATEX %@%
 \end{adjustwidth}

diff --git a/docs/user/gourd.toml.5.tex b/docs/user/gourd.toml.5.tex
@@ -683,9 +683,9 @@
       \Prog{gourd(1)} \Prog{gourd-tutorial(7)}
 
     \section{CONTACT}
-    Ανδρέας Τσατσάνης <\Email{a.tsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
+    Ανδρέας Τσατσάνης <\Email{atsatsanis@tudelft.nl}>\\[0.1cm]\MANbr
     Lukáš Chládek <\Email{l@chla.cz}>\\[0.1cm]\MANbr
-    Mikołaj Gazeel <\Email{m.j.gazeel@tudelft.nl}>\\[0.1cm]\MANbr
+    Mikołaj Gazeel <\Email{mgazeel@ethz.ch}>\\[0.1cm]\MANbr
 
 %@% IF LATEX %@%
 \end{adjustwidth}

diff --git a/docs/user/html/postamble.html b/docs/user/html/postamble.html
@@ -4,7 +4,7 @@
 <!-- MODIFIED: -->
 <!--   Manos Pitsidianakis <manos@pitsidianak.is> -->
 <!-- AND LATER: -->
-<!--   Mikołaj Gazeel <M.J.Gazeel@student.tudelft.nl> -->
+<!--   Mikołaj Gazeel <mgazeel@ethz.ch> -->
 
 
 <hr />

diff --git a/docs/user/html/preamble.html b/docs/user/html/preamble.html
@@ -4,7 +4,7 @@
 <!-- MODIFIED: -->
 <!--   Manos Pitsidianakis <manos@pitsidianak.is> -->
 <!-- AND LATER: -->
-<!--   Mikołaj Gazeel <M.J.Gazeel@student.tudelft.nl> -->
+<!--   Mikołaj Gazeel <mgazeel@ethz.ch> -->
 
 <!doctype html>
 <html lang="en">

diff --git a/src/resources/build_builtin_examples.rs b/src/resources/build_builtin_examples.rs
@@ -193,9 +193,34 @@ fn compile_rust_file(path: &Path) -> Result<()> {
 
     let str_compiled_path = compiled_path.to_str().ok_or_else(|| anyhow!(":("))?;
 
+    // on linux, we statically link the examples to musl in order to prevent glibc
+    // compatibility errors.
+    let target_triple = format!("{}-unknown-linux-musl", std::env::consts::ARCH);
+    let compile_args = if std::env::consts::OS == "linux" {
+        std::process::Command::new("rustup")
+            .arg("target")
+            .arg("add")
+            .arg(&target_triple)
+            .spawn()?
+            .wait()?;
+
+        vec![
+            "--target",
+            &target_triple,
+            "-C",
+            "target-feature=+crt-static",
+            "-O",
+            str_path,
+            "-o",
+            str_compiled_path,
+        ]
+    } else {
+        vec!["-O", str_path, "-o", str_compiled_path]
+    };
+
     let output = run_command(
         "rustc",
-        &vec!["-O", str_path, "-o", str_compiled_path],
+        &compile_args,
         Some(canon_path.parent().ok_or_else(|| anyhow!(":("))?.to_owned()),
     )?;
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,4 +12,3 @@ Cargo.lock @@
     /*.man
     compile.fish
     /*.profraw
-    .cargo