File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11.PHONY : all
2- all : rtld_loader.so test
2+ all : rtld_loader.so
33
44.PHONY : test
55test : 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
1313 gcc -shared -nostdlib -fno-stack-protector -fPIC -O2 src/* .c -o rtld_loader.so
1414
1515src/lookup_by_channel.generated.c : scripts/gen_lookup_by_channel.py $(shell find registry -type f)
16- scripts/gen_lookup_by_channel.py
16+ python scripts/gen_lookup_by_channel.py
1717
1818binsearch_lookup_test.bin : test/binsearch_lookup_test.c src/string_funs.[ch] src/binsearch_lookup.[ch]
1919 gcc $^ -g -o $@ -I src
Original file line number Diff line number Diff line change 1212 pname = "replit_rtld_loader" ;
1313 version = "1" ;
1414 src = ./. ;
15+ buildInputs = [ pkgs . python310 ] ;
16+ installPhase = ''
17+ mkdir $out
18+ mv rtld_loader.so $out/
19+ '' ;
1520 } ;
1621 devShells . x86_64-linux . default = pkgs . mkShell {
1722 packages = with pkgs ; [
You can’t perform that action at this time.
0 commit comments