Skip to content

Commit

Permalink
modify Satyristes and opam file
Browse files Browse the repository at this point in the history
  • Loading branch information
monaqa committed Feb 27, 2021
1 parent e33f1f1 commit a97f2f6
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 6 deletions.
6 changes: 4 additions & 2 deletions Satyristes
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
;; Library name
(name "figbox")
;; Library version
(version "1.0.0")
(version "0.1.0")
;; Files
(sources
((packageDir "src")))
Expand All @@ -23,7 +23,7 @@
;; Library doc name
(name "figbox-doc")
;; Library version
(version "1.0.0")
(version "0.1.0")
;; Working directory to build docs
(workingDirectory "doc")
;; Build commands
Expand All @@ -40,4 +40,6 @@
((figbox ()) ; the main library
(dist ()) ; Standard library
(base ()) ; Base library
(easytable ())
(enumitem ())
)))
6 changes: 4 additions & 2 deletions satysfi-figbox-doc.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
opam-version: "2.0"
name: "satysfi-figbox-doc"
version: "1.0.0"
version: "0.1.0"
synopsis: "Document of A Great SATySFi Package"
description: """
Brilliant description comes here.
Expand All @@ -12,7 +12,7 @@ homepage: "https://github.com/<github-username>/satysfi-figbox"
dev-repo: "git+https://github.com/<github-username>/satysfi-figbox.git"
bug-reports: "https://github.com/<github-username>/satysfi-figbox/issues"
depends: [
"satysfi" { >= "0.0.5" & < "0.0.6" }
"satysfi" { >= "0.0.6" & < "0.0.7" }
"satyrographos" { >= "0.0.2.6" & < "0.0.3" }

# You may want to include the corresponding library
Expand All @@ -21,6 +21,8 @@ depends: [
# Other libraries
"satysfi-dist"
"satysfi-base"
"satysfi-easytable" {>= "1.0.0"}
"satysfi-enumitem" {>= "2.0.0"}
]
build: [
["satyrographos" "opam" "build"
Expand Down
4 changes: 2 additions & 2 deletions satysfi-figbox.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
opam-version: "2.0"
name: "satysfi-figbox"
version: "1.0.0"
version: "0.1.0"
synopsis: "A Great SATySFi Package"
description: """
Brilliant description comes here.
Expand All @@ -12,7 +12,7 @@ homepage: "https://github.com/<github-username>/satysfi-figbox"
dev-repo: "git+https://github.com/<github-username>/satysfi-figbox.git"
bug-reports: "https://github.com/<github-username>/satysfi-figbox/issues"
depends: [
"satysfi" { >= "0.0.5" & < "0.0.6" }
"satysfi" { >= "0.0.6" & < "0.0.7" }
"satyrographos" { >= "0.0.2.6" & < "0.0.3" }

# If your library depends on other libraries, please write down here
Expand Down

0 comments on commit a97f2f6

Please sign in to comment.