Merge pull request #11 from replit/th-flake

Add flake file

Author: airportyh

Makefile

@@ -1,5 +1,5 @@
 .PHONY: all
-all: rtld_loader.so test
+all: rtld_loader.so
 
 .PHONY: test
 test: binsearch_lookup_test.bin string_funs_test.bin env_parser_test.bin dynamic_lookup_test.bin rtld_loader.so
@@ -13,7 +13,7 @@ rtld_loader.so: $(shell find src -type f) src/lookup_by_channel.generated.c
 	gcc -shared -nostdlib -fno-stack-protector -fPIC -O2 src/*.c -o rtld_loader.so
 
 src/lookup_by_channel.generated.c: scripts/gen_lookup_by_channel.py $(shell find registry -type f)
-	scripts/gen_lookup_by_channel.py
+	python scripts/gen_lookup_by_channel.py
 
 binsearch_lookup_test.bin: test/binsearch_lookup_test.c src/string_funs.[ch] src/binsearch_lookup.[ch]
 	gcc $^ -g -o $@ -I src

flake.lock

@@ -0,0 +1,32 @@
+{
+  description = "The Replit RTLD Loader allows dynamically loaded shared libraries (.so) to work seamlessly in Repls";
+  inputs.nixpkgs.url = "github:nixos/nixpkgs/nixos-23.11";
+
+  outputs = { self, nixpkgs, ... }:
+    let pkgs = import nixpkgs {
+      system = "x86_64-linux";
+    };
+    package = pkgs.stdenv.mkDerivation {
+      pname = "replit_rtld_loader";
+      version = "1";
+      src = ./.;
+      buildInputs = [pkgs.python310];
+      installPhase = ''
+        mkdir $out
+        mv rtld_loader.so $out/
+      '';
+    };
+    in
+    {
+      packages.x86_64-linux.default = package;
+      devShells.x86_64-linux.default = pkgs.mkShell {
+        packages = with pkgs; [
+          python310
+          gnumake
+        ];
+      };
+      overlays.default = final: prev: {
+        replit-rtld-loader = package;
+      };
+    };
+}