Skip to content

Instantly share code, notes, and snippets.

View sauparna's full-sized avatar

Sauparna Palchowdhury sauparna

View GitHub Profile
@sauparna
sauparna / 1747060591331.log
Created May 13, 2025 13:32
TLA+ Toolbox IDE test error log
!SESSION 2025-05-12 10:36:31.231 -----------------------------------------------
eclipse.buildId=unknown
java.version=11.0.27
java.vendor=Eclipse Adoptium
BootLoader constants: OS=macosx, ARCH=aarch64, WS=cocoa, NL=en_US
Framework arguments: -application org.eclipse.tycho.surefire.osgibooter.uitest -testproperties /Users/rup/Documents/work/lamport/tlaplus/toolbox/org.lamport.tla.toolbox.test/target/surefire.properties -nouithread
Command-line arguments: -debug -consolelog -data /Users/rup/Documents/work/lamport/tlaplus/toolbox/org.lamport.tla.toolbox.test/target/work/data -application org.eclipse.tycho.surefire.osgibooter.uitest -testproperties /Users/rup/Documents/work/lamport/tlaplus/toolbox/org.lamport.tla.toolbox.test/target/surefire.properties -nouithread
!ENTRY com.sun.jna 4 0 2025-05-12 10:36:31.861
!MESSAGE FrameworkEvent ERROR
@sauparna
sauparna / Dockerfile
Created April 28, 2025 18:55
swift-ci: ubuntu 24.04 + sccache 0.10.0 + swift 6.1
FROM ubuntu:24.04
RUN groupadd -g 998 build-user && \
useradd -m -r -u 998 -g build-user build-user
ENV DEBIAN_FRONTEND="noninteractive"
RUN apt-get -y update && apt-get -y install \
build-essential \
clang \
@sauparna
sauparna / ubuntu-llvm-clang.txt
Last active April 28, 2025 16:35
Install LLVM/Clang on Ubuntu 24.04
The message to share is that, on Ubuntu 24.04, to enable LLVM/Clang, run apt install llvm clang g++-14. If you want to set up a custom toolchain using a particular version of LLVM, it will require much more work. The reasoning are in a gist, if at all it's worth the reader's time:
1. On Linux, using an LLVM version of one's choice is fairly straightforward. Download the appropriate tarball from https://releases.llvm.org, extract it, (the extracted directory contains the sub-directories `lib` and `bin`), place the directory somewhere, and add the path to the directory's `bin` directory to your `PATH` variable. The LLVM tarball comes with Clang.
2. That `bin` directory contains the tool `llvm-config` (or `llvm-19-config`, say), which when run, will tell you what flags to use to compile and link your C/C++ programs correctly. At this point, if you are using `clang++` to compile C++ program, and linking it to LLVM's C++ standard-library in this way `clang++ -stdlib=libc++ f.cpp`, it will work, but running the