From 6d0cc3ac55e6c7e83b061e43393eba32c4fdef80 Mon Sep 17 00:00:00 2001 From: doyougnu Date: Thu, 2 May 2024 11:37:23 -0400 Subject: [PATCH] ci: repair nix build Specifically, add --no-sandbox to the nix build invocation to work around cabal. Without this cabal errors out stating it has no http connection. --- .github/workflows/deploy.yml | 2 +- .../Binary_Profiling/linux_perf.rst | 11 ++++------- 2 files changed, 5 insertions(+), 8 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 8e6f14b..372875e 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -11,7 +11,7 @@ jobs: steps: - uses: actions/checkout@v3 - uses: cachix/install-nix-action@v22 - - run: nix build -o _build + - run: nix build -o _build --no-sandbox - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@v4.2.2 with: diff --git a/src/Measurement_Observation/Binary_Profiling/linux_perf.rst b/src/Measurement_Observation/Binary_Profiling/linux_perf.rst index e3aad5a..a62e615 100644 --- a/src/Measurement_Observation/Binary_Profiling/linux_perf.rst +++ b/src/Measurement_Observation/Binary_Profiling/linux_perf.rst @@ -290,9 +290,6 @@ defined in ``QSort`` that I have elided. Inspecting with Perf -------------------- -Awards -^^^^^^ - To investigate we'll compile and run the program in ``perf``. Perf is a statistical profiler that outputs key CPU counters (these counters are called `PMC @@ -972,14 +969,14 @@ Footnotes #. :term:`Unlifted` objects cannot be evaluated and therefore don't have an entry code. -.. [#] GHC can be built in many different ways which we call ``flavors``. The - ``default`` flavor is one such provided by GHC's build tool `Hadrian - `__. - .. [#] I say "typically" because GHC will use ``call`` in some circumstances such as creating :term:`CAF`'s, see :ghcSource:`Note [CAF management] ` +.. [#] GHC can be built in many different ways which we call ``flavors``. The + ``default`` flavor is one such provided by GHC's build tool `Hadrian + `__. + .. [#] Larger code size will slow down the program because there is simply more code to process. But its contribution to runtime performance is not as great as the *locality* between data and the code operating on the data.