Update scripts and nix

Author: msoos

CMakeLists.txt

@@ -1,7 +1,8 @@
-cmake_minimum_required(VERSION 3.12)
+cmake_minimum_required(VERSION 3.15)
 
+set(CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY ON)
+set(CMAKE_EXPORT_PACKAGE_REGISTRY OFF)
 set(projectName EvalMaxSAT_bin)
-
 message("cmake for ${projectName}")
 project(${projectName})
 

flake.lock

@@ -1,5 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
+set -euo pipefail
 
 rm -rf cmake_install.cmake CMakeCache.txt CMakeFiles lib main Makefile .cmake
 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo ..
-make -j$(nproc)
+make "-j$(nproc)"

scripts/build_norm.sh

@@ -1,4 +1,5 @@
-#!/bin/bash
+#!/usr/bin/env bash
+set -euo pipefail
 
 rm -rf cmake_install.cmake CMakeCache.txt CMakeFiles lib main Makefile .cmake
 cmake -DCMAKE_BUILD_TYPE=Release ..

scripts/build_release.sh

@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+rm -rf cmake_install.cmake CMakeCache.txt CMakeFiles lib main Makefile .cmake
+cmake -DCMAKE_BUILD_TYPE=Release -DSTATICCOMPILE=ON ..
+make -j$(nproc)