2 files changed, 22 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..20e769f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+GHCFLAGS=-Wall -XNoCPP -fno-warn-name-shadowing -XHaskell98
+
+verify: examples/verify.hs
+        ghc --make $(GHCFLAGS) -o $@ $^
+
+clean:
+        find -name '*.o' -o -name '*.hi' | xargs $(RM)
+        $(RM) verify
diff --git a/examples/verify.hs b/examples/verify.hs
new file mode 100644
index 0000000..b123bd1
--- /dev/null
+++ b/examples/verify.hs
@@ -0,0 +1,14 @@
+import System (getArgs)
+
+import Data.Binary
+
+import qualified Data.OpenPGP as OpenPGP ()
+import qualified Data.OpenPGP.Crypto as OpenPGP
+
+main :: IO ()
+main = do
+        argv <- getArgs
+        keys <- decodeFile (argv !! 0)
+        message <- decodeFile (argv !! 1)
+        -- Just verify first signature
+        print $ OpenPGP.verify keys message 0