diff --git a/nix/overlays/required.nix b/nix/overlays/required.nix
index d351c0ba76..b86c80fa0b 100644
--- a/nix/overlays/required.nix
+++ b/nix/overlays/required.nix
@@ -7,15 +7,20 @@ let
   addRealTimeTestLogs = drv: overrideCabal drv (attrs: {
     testTarget = "--show-details=streaming";
   });
+  doctest = opts: drv: overrideCabal drv (attrs: {
+    postCheck = "./Setup doctest --doctest-options=\"${opts}\"";
+  });
 in
 
 self: super: {
 
     ########################################################################
     # Overides of local packages
+    language-plutus-core = addRealTimeTestLogs super.language-plutus-core;
+    # cabal doctest doesn't seem to be clever enough to pick these up from the cabal file
+    plutus-tx = doctest "-pgmL markdown-unlit -XTemplateHaskell -XDeriveFunctor -XScopedTypeVariables" super.plutus-tx;
 
     ########################################################################
-    language-plutus-core = addRealTimeTestLogs super.language-plutus-core;
     # The base Haskell package builder
 
     mkDerivation = args: super.mkDerivation (args //