Add nix

Author: msoos

.github/workflows/nix.yml

@@ -0,0 +1,20 @@
+name: nix build
+
+on:
+  pull_request:
+    branches: [ "*" ]
+
+jobs:
+  tests:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - uses: cachix/install-nix-action@v25
+      with:
+        nix_path: nixpkgs=channel:nixos-unstable
+    - uses: cachix/cachix-action@v14
+      with:
+        name: msoos
+        # If you chose API tokens for write access OR if you have a private cache
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+    - run: nix build

CMakeLists.txt

@@ -235,8 +235,6 @@ if (NOT WIN32)
         #add_cxx_flag_if_supported("-fvisibility=hidden")
     endif()
     add_compile_options("-fPIC")
-    add_cxx_flag_if_supported("-mtune=native")
-
     if(CMAKE_BUILD_TYPE STREQUAL "Release")
         #NOTE: out-satrace19-8373595 has confirmed that O3+flto only hurts compared to O2
         #      on gcc version 7.3.0

flake.lock

@@ -1,5 +1,5 @@
 {
-  description = "An fast, almost-uniform CNF sampler";
+  description = "A heuristic CNF sampler built on CryptoMiniSat";
   inputs = {
     nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
   };
@@ -21,7 +21,6 @@
           fetchFromGitHub,
           cmake,
           pkg-config,
-          gmp,
           zlib,
         }:
         stdenv.mkDerivation {
@@ -32,6 +31,7 @@
               ./src
               ./CMakeLists.txt
               ./cmake
+              ./scripts
               ./cmsgenConfig.cmake.in
             ];
           };
@@ -41,7 +41,6 @@
             pkg-config
           ];
           buildInputs = [
-            gmp
             zlib
           ];
         };
@@ -50,8 +49,7 @@
       packages = forAllSystems (
         system:
         let
-          cmsgen = nixpkgsFor.${system}.callPackage cmsgen-package {
-          };
+          cmsgen = nixpkgsFor.${system}.callPackage cmsgen-package { };
         in
         {
           inherit cmsgen;