Use file-embed

Author: ana-pantilie

…us-metatheory/data/certificate-README.md …atheory/file-embed/certificate-README.mdplutus-metatheory/data/certificate-README.md renamed to plutus-metatheory/file-embed/certificate-README.md plutus-metatheory/data/certificate-README.md renamed to plutus-metatheory/file-embed/certificate-README.md

@@ -13,7 +13,6 @@ maintainer:    james.chapman@iohk.io
 category:      Development
 build-type:    Simple
 data-files:
-  data/certificate-README.md
   plutus-metatheory.agda-lib
   README.md
   src/**/*.lagda.md
@@ -81,6 +80,7 @@ library
     , deepseq
     , directory
     , extra
+    , file-embed
     , filepath
     , mtl
     , optparse-applicative

plutus-metatheory/plutus-metatheory.cabal

@@ -1,3 +1,4 @@
+{-# LANGUAGE TemplateHaskell #-}
 {-# OPTIONS_GHC -Wall #-}
 
 module Certifier
@@ -12,13 +13,13 @@ module Certifier
 import Control.Monad
 import Control.Monad.Except (ExceptT (..), runExceptT, throwError)
 import Control.Monad.IO.Class (liftIO)
+import Data.FileEmbed (embedStringFile)
 import Data.Foldable
 import Data.List.Extra (replace)
 import Data.List.NonEmpty (NonEmpty (..))
 import Data.List.NonEmpty qualified as NE
 import Data.Maybe (fromMaybe)
 import Data.Text.IO qualified as T
-import Paths_plutus_metatheory (getDataFileName)
 import System.Directory (createDirectory)
 import System.FilePath (takeBaseName, (</>))
 
@@ -359,8 +360,7 @@ writeCertificateProject
       createDirectory (certDir </> "src")
       writeFile (certDir </> "src" </> mainModulePath) mainModuleContents
       writeFile (certDir </> agdalibPath) agdalibContents
-      templatePath <- getDataFileName "data/certificate-README.md"
-      readmeTemplate <- readFile templatePath
+      let readmeTemplate = $(embedStringFile "file-embed/certificate-README.md")
       writeFile (certDir </> "README.md") (replace "{{NAME}}" certName readmeTemplate)
       traverse_
         ( \(path, contents) ->