Build single domain executable

.github/workflows/ci.yml

@@ -2,13 +2,16 @@ name: CI Builds
 
 on: push
 
+env:
+  DUNE_COPASI_USE_STATIC_DEPS: 'ON'
+  DUNE_COPASI_SD_EXECUTABLE: 'ON'
+
 jobs:
   linux:
     name: Linux
     runs-on: ubuntu-16.04
     env:
       CMAKE_INSTALL_PREFIX: '/opt/dune'
-      DUNE_COPASI_USE_STATIC_DEPS: 'ON'
       TERM: 'xterm-256color'
     defaults:
       run:
@@ -37,7 +40,6 @@ jobs:
     runs-on: macos-10.15
     env:
       CMAKE_INSTALL_PREFIX: '/opt/dune'
-      DUNE_COPASI_USE_STATIC_DEPS: 'ON'
       MACOSX_DEPLOYMENT_TARGET: '10.14'
       TERM: 'xterm-256color'
     defaults:
@@ -62,7 +64,6 @@ jobs:
     runs-on: windows-2019
     env:
       CMAKE_INSTALL_PREFIX: '/c/dune'
-      DUNE_COPASI_USE_STATIC_DEPS: 'ON'
     defaults:
       run:
         shell: msys2 {0}
@@ -90,7 +91,6 @@ jobs:
     runs-on: windows-2019
     env:
       CMAKE_INSTALL_PREFIX: '/c/dune'
-      DUNE_COPASI_USE_STATIC_DEPS: 'ON'
     defaults:
       run:
         shell: msys2 {0}

.gitlab-ci.yml

@@ -14,9 +14,9 @@ stages:
     - "dind"
 
 .global_variables: &global_variables
-  DUNE_OPTIONS_FILE: /duneci/dune.opts
   DUNECONTROL: dunecontrol
   BASE_IMAGE_VERSION: v0.4.0-git
+  DUNE_COPASI_SD_EXECUTABLE: 'ON'
 
 .docker_variables: &docker_variables
   DOCKER_BUILDKIT: 1

Dockerfile

@@ -27,9 +27,7 @@ RUN ./dune-copasi/.ci/setup_dune /duneci/dune.opts
 # build and install dune-copasi from the setup-env
 FROM ${BUILD_BASE_IMAGE} AS build-env
 
-ENV PATH=/duneci/install/bin:$PATH
-ENV TERM=xterm-256color
-ENV CMAKE_INSTALL_PREFIX=/duneci/install
+ENV DUNE_COPASI_SD_EXECUTABLE='ON'
 ENV CPACK_GENERATORS=DEB
 ENV CPACK_PACKAGE_DIRECTORY=/duneci/packages