From 19d6332ff6632be196aecf72ccccd58a8037d6ad Mon Sep 17 00:00:00 2001
From: Fredrik Ronquist <fredrik.ronquist@nrm.se>
Date: Thu, 12 Mar 2026 19:42:38 +0100
Subject: [PATCH 1/2] Updated the install instructions for Apple Silicon
 systems

---
 docs/for-developers/install_apple_silicon.md | 56 ++++----------------
 1 file changed, 11 insertions(+), 45 deletions(-)

diff --git a/docs/for-developers/install_apple_silicon.md b/docs/for-developers/install_apple_silicon.md
index 5e29477..4d1af6d 100644
--- a/docs/for-developers/install_apple_silicon.md
+++ b/docs/for-developers/install_apple_silicon.md
@@ -13,6 +13,8 @@ Install Apple's Command Line Tools (if not already installed):
 xcode-select --install
 ```
 
+If they are already installed, a message will inform you about this.
+
 ### Homebrew and Required Packages
 
 If you don’t have [Homebrew](https://brew.sh/) installed, install it using:
@@ -31,50 +33,15 @@ brew upgrade
 Next, install the necessary packages:
 
 ```bash
-brew install gcc opam wget
-```
-
-### Set GCC as the Default cc Compiler for OpenBLAS installation
-If GCC is not set as your default cc compiler, create a symlink to ensure it's used:
-
-```bash
-# Create a symbolic link to use GCC as the default cc compiler
-# Note: Adjust the GCC version if different (e.g., gcc-12)
-cd $HOMEBREW_PREFIX/bin && ln -s gcc-15 cc
-```
-
-Verify: After this, check that cc points to the correct compiler:
-```bash
-which cc
-```
-Open a new terminal window for the changes to take effect.
-
-
-Notes for existing TreePPL users:
-
-- If OpenBLAS was previously installed via Homebrew, uninstall it before continuing:
-  
-  ```bash
-  brew uninstall openblas
-  ```
-
-### Installing OpenBLAS from Source
-
-Download and install OpenBLAS manually:
-
-```bash
-wget https://github.com/OpenMathLib/OpenBLAS/releases/download/v0.3.31/OpenBLAS-0.3.31.zip
-unzip OpenBLAS-0.3.31.zip
-cd OpenBLAS-0.3.31
-make
-sudo make install
+brew install opam openblas libomp fftw
 ```
-This installs OpenBLAS to `/opt/OpenBLAS`.
 
-### Delete the cc symbolic link
+Finally, set some environment variables needed when compiling owl:
 
 ```bash
-rm $HOMEBREW_PREFIX/bin/cc
+export OWL_LDFLAGS="-L/opt/homebrew/opt/libomp/lib -lomp"
+export OWL_CPPFLAGS="-Xpreprocessor -fopenmp"
+export SDKROOT="/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk"
 ```
 
 
@@ -89,18 +56,17 @@ opam init --bare
 opam update
 opam switch create treeppl-ocaml 5.3.0
 eval $(opam env --switch=treeppl-ocaml)
-export PKG_CONFIG_PATH="/opt/OpenBLAS/lib/pkgconfig:$PKG_CONFIG_PATH"
-opam install -y --no-depexts dune ocamlfind linenoise owl menhir
+opam install dune ocamlfind linenoise menhir owl
 ```
-If you get an error, try the command above again without the -y option, then continue. 
 
-Opam supports multiple OCaml environments via switches. TreePPL expects the *treeppl-ocaml* switch to be active:
+Opam supports multiple OCaml environments via switches; the number refers to the OCaml version. TreePPL expects the *treeppl-ocaml* switch to be active:
 
 ```bash
 eval $(opam env --switch=treeppl-ocaml)
 ```
 
-To automatically activate it when opening a new shell, add the above line to your `~/.zshrc`.
+To automatically activate it when opening a new shell, add the above line to your `~/.zshrc`. We are basing the switch on version 5.3.0 of OCaml as this is the latest version we have tested thoroughly but we are not aware of any issues with more recent versions of OCaml.
+
 
 ### Set Up Environment Variables
 

From d0c31501e6064014da3c523bbfdef98af812e37c Mon Sep 17 00:00:00 2001
From: Viktor Palmkvist <elegiosmail+github@gmail.com>
Date: Fri, 17 Apr 2026 17:38:10 +0200
Subject: [PATCH 2/2] Update instructions after testing on a mostly clean
 macbook (#1)

---
 docs/for-developers/install_apple_silicon.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/docs/for-developers/install_apple_silicon.md b/docs/for-developers/install_apple_silicon.md
index 4d1af6d..5f68472 100644
--- a/docs/for-developers/install_apple_silicon.md
+++ b/docs/for-developers/install_apple_silicon.md
@@ -41,7 +41,6 @@ Finally, set some environment variables needed when compiling owl:
 ```bash
 export OWL_LDFLAGS="-L/opt/homebrew/opt/libomp/lib -lomp"
 export OWL_CPPFLAGS="-Xpreprocessor -fopenmp"
-export SDKROOT="/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk"
 ```
 
 
@@ -82,7 +81,7 @@ export MCORE_LIBS=stdlib="$HOME/.local/lib/mcore/stdlib":coreppl="$HOME/.local/s
 These commands will clone the repositories and install the tools locally. Run them from your desired directory:
 
 ```bash
-git clone https://github.com/treeppl/miking.git
+git clone https://github.com/miking-lang/miking.git
 cd miking
 make clean
 make
@@ -91,7 +90,7 @@ cd ..
 ```
 
 ```bash
-git clone https://github.com/treeppl/miking-dppl.git
+git clone https://github.com/miking-lang/miking-dppl.git
 cd miking-dppl
 make clean
 make
@@ -126,7 +125,7 @@ Compile and run the coin model:
 
 ```bash
 tpplc ~/.local/src/treeppl/models/lang/coin.tppl --output coin
-./coin ~/.local/src/treeppl/models/lang/coin.json
+./coin ~/.local/src/treeppl/models/lang/data/testdata_coin.json
 ```
 
 You should see a stream of JSON-formatted samples.