BLD Enable a profiling build on gitlab - manually triggered

.gitlab-ci.yml

@@ -80,6 +80,42 @@ build-and-test-ubuntu-wsl:
         - Modules/packages/
         expire_in: 1 month
 
+build-and-test-ubuntu-wsl-profiling:
+    image: registry.gitlab.com/ngless/ngless/ubuntu-ghc-stack:wsl
+    stage: build
+
+    before_script:
+    - apt update
+    - apt upgrade -y
+    - stack upgrade
+    - mkdir bin
+    # Workaround gitlab memory limits with a swapfile
+    - dd if=/dev/zero of=/var/tmp/swapfile bs=1M count=2048 && mkswap /var/tmp/swapfile && chmod 600 /var/tmp/swapfile && swapon /var/tmp/swapfile && free
+    # Needed for tests that print UTF8 characters such as motus
+    # Same issue as https://github.com/commercialhaskell/stack/issues/793
+
+    variables:
+        LC_ALL: "C.UTF-8"
+        STACKOPTS: "--system-ghc --ghc-options '-fPIC -fprof-auto -rtsopts' --flag NGLess:embed --executable-profiling --library-profiling"
+    retry: 1
+
+    script:
+    - make modules
+    - make install prefix=${PWD}
+    - PATH=${PWD}/bin:$PATH ./run-tests.sh
+
+    # Allow this to fail without failing the entire commit
+    allow_failure: true
+    # Don't run this step automatically, make it a manually triggered build
+    when: manual
+
+    artifacts:
+        when: on_success
+        paths:
+        - bin/ngless
+        - Modules/packages/
+        expire_in: 1 month
+
 build-and-test-ubuntu-non-static:
     image: registry.gitlab.com/ngless/ngless/ubuntu-ghc-stack:old
     stage: build