tests/re2.nixMatch, replace and run the DFA of re2 (and its abseil headers) under Fil-C.λpkgs, pkgsFilcpkgsFilc.stdenv.mkDerivation4name="filc-re2-consumer-check"5dontUnpack=true6nativeBuildInputs=pkgs.pkg-config7buildInputs=pkgsFilc.re28buildPhase=$CXX -std=c++17 -O2 ${./re2.cpp} $(pkg-config --cflags --libs re2) -o check./check | tee check.loggrep -q '^ok: ' check.log13installPhase=touch "$out"