mpickering

commit 0a057f803972989ce0cf726e013dd97d5f36409c
Author: Matthew Pickering <[email protected]>
Date:   Wed Dec 3 16:49:39 2025 +0000

    Improvements to the makefile generation

diff --git a/internal/src/Internal/Cache/Metadata.hs b/internal/src/Internal/Cache/Metadata.hs
index 78172a21..ab7a424f 100644
--- a/internal/src/Internal/Cache/Metadata.hs
+++ b/internal/src/Internal/Cache/Metadata.hs

mpickering

     46 size (Dep74, 1)
     47 size (Dep75, 1)
     47 size (Dep76, 1)
     47 size (Dep77, 1)
     48 size (Dep64, 1)
     48 size (Dep65, 1)
     48 size (Dep73, 1)
     49 size (Dep66, 1)
     49 size (Dep71, 1)
     49 size (Dep72, 1)

mpickering

commit 8beeee14e3e51070883fac2413b8eb4dd553d733
Author: Matthew Pickering <[email protected]>
Date:   Fri Nov 14 13:46:31 2025 +0000

    Instrument HLS with eventlog-socket

diff --git a/exe/Main.hs b/exe/Main.hs
index 5684c6f89..9039e405d 100644
--- a/exe/Main.hs
+++ b/exe/Main.hs

mpickering

#!/usr/bin/env bash
set -euo pipefail

# Directory where all the sockets will live
SOCKET_DIR="$HOME/.ghc-eventlog-sockets"
mkdir -p "$SOCKET_DIR"

# Find the directory from which the command is being run (e.g. your project root)
CWD="$(pwd)"
# Remove /home/matt prefix if present

mpickering

#! /usr/bin/env nix-shell
#! nix-shell -i python3 -p python3
import argparse
import datetime
import os
import signal
import stat
import subprocess
import sys
import time

mpickering

#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
             , directory >=1.3.8
             , filepath  >=1.4.100
             , time
             , criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}

mpickering

#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
             , directory >=1.3.8
             , filepath  >=1.4.100
             , time
             , criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}

mpickering

#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
             , directory >=1.3.8
             , filepath  >=1.4.100
             , time
             , criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}

mpickering

#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
             , directory >=1.3.8
             , filepath  >=1.4.100
             , time
             , criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}

mpickering

#!/usr/bin/env -S cabal run
{- cabal:
build-depends: base >=4.17 && <5
             , directory >=1.3.8
             , filepath  >=1.4.100
             , time
             , criterion >=1.6
default-language: GHC2021
ghc-options: -O2
-}