Rename web-prover to unitb-web

Change the rest of the references of web-prover to unitb-web
unitb · Sep 23, 2016 · 3f5dff8 · 3f5dff8
1 parent 3bce162
commit 3f5dff8
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/app/devel.hs b/app/devel.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE PackageImports #-}
-import "web-prover" Application (develMain)
+import "unitb-web" Application (develMain)
 import Prelude (IO)
 
 main :: IO ()

diff --git a/config/keter.yml b/config/keter.yml
@@ -12,7 +12,7 @@ stanzas:
 
     # Name of your executable. You are unlikely to need to change this.
     # Note that all file paths are relative to the keter.yml file.
-    exec: ../dist/build/web-prover/web-prover
+    exec: ../dist/build/unitb-web/unitb-web
 
     # Command line options passed to your application.
     args: []
@@ -21,7 +21,7 @@ stanzas:
       # You can specify one or more hostnames for your application to respond
       # to. The primary hostname will be used for generating your application
       # root.
-      - www.web-prover.com
+      - www.unitb-web.com
 
     # Enable to force Keter to redirect to https
     # Can be added to any stanza
@@ -30,7 +30,7 @@ stanzas:
   # Static files.
   - type: static-files
     hosts:
-      - static.web-prover.com
+      - static.unitb-web.com
     root: ../static
 
     # Uncomment to turn on directory listings.
@@ -40,9 +40,9 @@ stanzas:
   - type: redirect
 
     hosts:
-      - web-prover.com
+      - unitb-web.com
     actions:
-      - host: www.web-prover.com
+      - host: www.unitb-web.com
         # secure: false
         # port: 80
 

diff --git a/web-prover.cabal → unitb-web.cabal b/web-prover.cabal → unitb-web.cabal
@@ -1,4 +1,4 @@
-name:              web-prover
+name:              unitb-web
 version:           0.0.0
 license:           MIT
 license-file:      LICENSE
@@ -98,13 +98,13 @@ library
                  , filepath
                  , printf-th
 
-executable         web-prover
+executable         unitb-web
     if flag(library-only)
         Buildable: False
 
     main-is:           main.hs
     hs-source-dirs:    app
-    build-depends:     base, web-prover
+    build-depends:     base, unitb-web
 
     ghc-options:       -threaded -rtsopts -with-rtsopts=-N
 
@@ -138,7 +138,7 @@ test-suite test
                 TupleSections
 
     build-depends: base
-                 , web-prover
+                 , unitb-web
                  , yesod-test >= 1.5.0.1 && < 1.6
                  , yesod-core
                  , yesod