simulation: Remove Praos executable

input-output-hk · Nov 19, 2024 · 43fea3a · 43fea3a
1 parent 30a3c71
commit 43fea3a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 53 deletions.
diff --git a/simulation/ouroboros-leios-sim.cabal b/simulation/ouroboros-leios-sim.cabal
@@ -150,16 +150,3 @@ executable sample
 
   default-language: Haskell2010
   ghc-options:      -Wall
-
-executable praos
-  if flag(perf)
-    import: performance-opts
-
-  main-is:          src/PraosProtocol/PraosMain.hs
-  build-depends:
-    , base
-    , optparse-applicative
-    , ouroboros-leios-sim
-
-  default-language: Haskell2010
-  ghc-options:      -Wall
diff --git a/simulation/src/PraosProtocol/PraosMain.hs b/simulation/src/PraosProtocol/PraosMain.hs