migrating to erlang to attach to mnesia

1 files changed, 26 insertions, 260 deletions

diff --git a/flake.nix b/flake.nix
index 7add9c5..249b892 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,270 +1,36 @@
 {
-  description = "Relational Engine";
+  description = "A very basic flake";
 
-  # Flake dependency specification
-  #
-  # To update all flake inputs:
-  #
-  #     $ nix flake update --commit-lockfile
-  #
-  # To update individual flake inputs:
-  #
-  #     $ nix flake lock --update-input <input> ... --commit-lockfile
-  #
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
-    # Convenience functions for writing flakes
-    flake-utils.url = "github:numtide/flake-utils";
-    # Precisely filter files copied to the nix store
-    nix-filter.url = "github:numtide/nix-filter";
+    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
   };
 
-  outputs = { self, nixpkgs, flake-utils, nix-filter }:
-    # Construct an output set that supports a number of default systems
-    flake-utils.lib.eachDefaultSystem (system:
+  outputs = { self, nixpkgs, ... }:
+  let
+    systems = [ "x86_64-linux" "aarch64-linux" "x86_64-darwin" "aarch64-darwin" ];
+    forAllSystems = nixpkgs.lib.genAttrs systems;
+  in {
+    packages = forAllSystems (system:
       let
-        # Legacy packages that have not been converted to flakes
-        legacyPackages = nixpkgs.legacyPackages.${system};
-        # OCaml packages available on nixpkgs
-        ocamlPackages = legacyPackages.ocamlPackages;
-        # Library functions from nixpkgs
-        lib = legacyPackages.lib;
-        merklecpp = legacyPackages.callPackage ./deps/merklecpp.nix { };
-        libressl = legacyPackages.callPackage ./deps/libressl.nix { };
-        librelational_engine =
-          legacyPackages.callPackage ./deps/relational_engine_lib.nix {
-            libressl = libressl;
-            merklecpp = merklecpp;
-          };
-
-        # Filtered sources (prevents unecessary rebuilds)
-        sources = {
-          ocaml = nix-filter.lib {
-            root = ./.;
-            include = [
-              ".ocamlformat"
-              "dune-project"
-              (nix-filter.lib.inDirectory "bin")
-              (nix-filter.lib.inDirectory "lib")
-              (nix-filter.lib.inDirectory "test")
-            ];
-          };
-
-          nix = nix-filter.lib {
-            root = ./.;
-            include = [ (nix-filter.lib.matchExt "nix") ];
-          };
-        };
+        pkgs = nixpkgs.legacyPackages.${system};
       in {
-        # Exposed packages that can be built or run with `nix build` or
-        # `nix run` respectively:
-        #
-        #     $ nix build .#<name>
-        #     $ nix run .#<name> -- <args?>
-        #
-        packages = {
-          # The package that will be built or run by default. For example:
-          #
-          #     $ nix build
-          #     $ nix run -- <args?>
-          #
-          default = self.packages.${system}.relational_engine;
-
-          relational_engine = ocamlPackages.buildDunePackage {
-            pname = "relational_engine";
-            version = "0.1.0";
-            duneVersion = "3";
-            src = sources.ocaml;
-
-            env = {
-              MERKLECPP_INCLUDE_PATH = "${merklecpp}/include";
-              LIBRESSL_INCLUDE_PATH = "${libressl}/include";
-              LIBRESSL_LIB_PATH = "${libressl}/lib";
-              OS_LIB_EXTENSION =
-                if legacyPackages.stdenv.isDarwin then "dylib" else "so";
-              LIBRELATIONAL_ENGINE_LIB_PATH = "${librelational_engine}/lib";
-              LIBRELATIONAL_ENGINE_INCLUDE_PATH =
-                "${librelational_engine}/include";
-            };
-
-            nativeInputs = [ ];
-
-            buildInputs = with ocamlPackages; [
-              ctypes
-              ctypes-foreign
-              data-encoding
-              ppx_inline_test
-            ];
-
-            strictDeps = true;
-
-            preBuild = ''
-              dune build relational_engine.opam
-            '';
-          };
-        };
-        # Flake checks
-        #
-        #     $ nix flake check
-        #
-        checks = {
-          # Run tests for the `relational_engine` package
-          relational_engine = let
-            # Patches calls to dune commands to produce log-friendly output
-            # when using `nix ... --print-build-log`. Ideally there would be
-            # support for one or more of the following:
-            #
-            # In Dune:
-            #
-            # - have workspace-specific dune configuration files
-            #
-            # In NixPkgs:
-            #
-            # - allow dune flags to be set in in `ocamlPackages.buildDunePackage`
-            # - alter `ocamlPackages.buildDunePackage` to use `--display=short`
-            # - alter `ocamlPackages.buildDunePackage` to allow `--config-file=FILE` to be set
-            patchDuneCommand =
-              let subcmds = [ "build" "test" "runtest" "install" ];
-              in lib.replaceStrings
-              (lib.lists.map (subcmd: "dune ${subcmd}") subcmds)
-              (lib.lists.map (subcmd: "dune ${subcmd} --display=short")
-                subcmds);
-
-          in self.packages.${system}.relational_engine.overrideAttrs
-          (oldAttrs: {
-            name = "check-${oldAttrs.name}";
-            doCheck = true;
-            buildPhase = patchDuneCommand oldAttrs.buildPhase;
-            checkPhase = patchDuneCommand oldAttrs.checkPhase;
-            # skip installation (this will be tested in the `relational_engine-app` check)
-            installPhase = "touch $out";
-          });
-
-          # Check Dune and OCaml formatting
-          dune-fmt = legacyPackages.runCommand "check-dune-fmt" {
-            nativeBuildInputs = [
-              ocamlPackages.dune_3
-              ocamlPackages.ocaml
-              legacyPackages.ocamlformat
-            ];
-          } ''
-            echo "checking dune and ocaml formatting"
-            dune build \
-              --display=short \
-              --no-print-directory \
-              --root="${sources.ocaml}" \
-              --build-dir="$(pwd)/_build" \
-              @fmt
-            touch $out
-          '';
+        hello = pkgs.hello;
+        default = pkgs.hello;
+      }
+    );
 
-          dune-test = legacyPackages.runCommand "check-dune-test" {
-            nativeBuildInputs = [
-              ocamlPackages.dune_3
-              ocamlPackages.ocaml
-              legacyPackages.ocamlformat
-              ocamlPackages.ppx_inline_test
-            ];
-          } ''
-            echo "checking dune and ocaml formatting"
-            dune build \
-              --display=short \
-              --no-print-directory \
-              --root="${sources.ocaml}" \
-              --build-dir="$(pwd)/_build" \
-              @fmt
-            touch $out
-          '';
-
-          # Check documentation generation
-          dune-doc = legacyPackages.runCommand "check-dune-doc" {
-            ODOC_WARN_ERROR = "true";
-            nativeBuildInputs =
-              [ ocamlPackages.dune_3 ocamlPackages.ocaml ocamlPackages.odoc ];
-          } ''
-            echo "checking ocaml documentation"
-            dune build \
-              --display=short \
-              --no-print-directory \
-              --root="${sources.ocaml}" \
-              --build-dir="$(pwd)/_build" \
-              @doc
-            touch $out
-          '';
-
-          # Check Nix formatting
-          # nixpkgs-fmt = legacyPackages.runCommand "check-nixpkgs-fmt" {
-          #   nativeBuildInputs = [ legacyPackages.nixpkgs-fmt ];
-          # } ''
-          #   echo "checking nix formatting"
-          #   nixpkgs-fmt --check ${sources.nix}
-          #   touch $out
-          # '';
-        };
-
-        # Development shells
-        #
-        #    $ nix develop .#<name>
-        #    $ nix develop .#<name> --command dune build @test
-        #
-        # [Direnv](https://direnv.net/) is recommended for automatically loading
-        # development environments in your shell. For example:
-        #
-        #    $ echo "use flake" > .envrc && direnv allow
-        #    $ dune build @test
-        #
-        devShells = {
-          default = legacyPackages.mkShell {
-
-            env = {
-              MERKLECPP_INCLUDE_PATH = "${merklecpp}/include";
-              LIBRESSL_INCLUDE_PATH = "${libressl}/include";
-              LIBRESSL_LIB_PATH = "${libressl}/lib";
-              OS_LIB_EXTENSION =
-                if legacyPackages.stdenv.isDarwin then "dylib" else "so";
-              LIBRELATIONAL_ENGINE_LIB_PATH = "${librelational_engine}/lib";
-              LIBRELATIONAL_ENGINE_INCLUDE_PATH =
-                "${librelational_engine}/include";
-            };
-
-            # Development tools
-            packages = [
-              # Source file formatting
-              legacyPackages.nixpkgs-fmt
-              legacyPackages.ocamlformat
-              # For `dune build --watch ...`
-              legacyPackages.fswatch
-              # For `dune build @doc`
-              ocamlPackages.odoc
-              # OCaml editor support
-              ocamlPackages.ocaml-lsp
-              # Nicely formatted types on hover
-              ocamlPackages.ocamlformat-rpc-lib
-              # Fancy REPL thing
-              ocamlPackages.utop
-              # Libraries
-              ocamlPackages.menhir
-              ocamlPackages.ctypes
-              ocamlPackages.ctypes-foreign
-              ocamlPackages.data-encoding
-              ocamlPackages.ppx_inline_test
-              legacyPackages.cmake
-              legacyPackages.gcc
-              legacyPackages.nixfmt-classic
-            ];
-
-            shellHook = ''
-              echo MERKLECPP_INCLUDE_PATH=$MERKLECPP_INCLUDE_PATH
-              echo LIBRESSL_INCLUDE_PATH=$LIBRESSL_INCLUDE_PATH
-              echo LIBRESSL_LIB_PATH=$LIBRESSL_LIB_PATH
-              echo OS_LIB_EXTENSION=$OS_LIB_EXTENSION 
-              echo LIBRELATIONAL_ENGINE_LIB_PATH=$LIBRELATIONAL_ENGINE_LIB_PATH
-              echo LIBRELATIONAL_ENGINE_INCLUDE_PATH=$LIBRELATIONAL_ENGINE_INCLUDE_PATH
-            '';
-
-            # Tools from packages
-            inputsFrom = [ self.packages.${system}.relational_engine ];
-          };
+    devShells = forAllSystems (system:
+      let
+        pkgs = nixpkgs.legacyPackages.${system};
+      in {
+        default = pkgs.mkShell {
+          packages = with pkgs; [
+            erlang_28
+            erlang-language-platform
+            rebar3
+          ];
         };
-      });
+      }
+    );
+  };
 }