Skip to content

Commit

Permalink
bump version to 0.2.0
Browse files Browse the repository at this point in the history
  • Loading branch information
seliopou committed Sep 9, 2015
1 parent e363c80 commit 175f255
Show file tree
Hide file tree
Showing 4 changed files with 43 additions and 10 deletions.
8 changes: 6 additions & 2 deletions _oasis
Original file line number Diff line number Diff line change
@@ -1,8 +1,12 @@
OASISFormat: 0.4
Name: tdk
Version: 0.1.1
Version: 0.2.0
Synopsis: The Decision Kit
Authors: Spiros Eliopoulos
Description: The Decision Kit is a collection of data structures that are
useful for representing functions, relations, and other combinatorial objects.
These data structures are based on various generalizations of reduced ordered
binary decision diagrams.
Authors: Spiros Eliopoulos <seliopou@gmail.com>
License: BSD-3-clause
Plugins: Meta (0.4), DevFiles (0.4)
BuildTools: ocamlbuild
Expand Down
4 changes: 2 additions & 2 deletions lib/META
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 230fb470dc1d68190e6c03a513a085c1)
version = "0.1.1"
# DO NOT EDIT (digest: 2dd7e2222082f1065e7a270209e5cce3)
version = "0.2.0"
description = "The Decision Kit"
archive(byte) = "tdk.cma"
archive(byte, plugin) = "tdk.cma"
Expand Down
24 changes: 24 additions & 0 deletions opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
opam-version: "1.2"
name: "tdk"
version: "dev"
maintainer: "Spiros Eliopoulos <seliopou@gmail.com>"
authors: [ "Spiros Eliopoulos <seliopou@gmail.com>" ]
license: "BSD-3-clause"
build: [
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
["ocaml" "setup.ml" "-build"]
]
install: ["ocaml" "setup.ml" "-install"]
remove: [
["ocamlfind" "remove" "tdk"]
]
build-test: [
["ocaml" "setup.ml" "-configure" "--enable-tests"]
["ocaml" "setup.ml" "-build"]
["ocaml" "setup.ml" "-test"]
]
build-doc: [ "ocaml" "setup.ml" "-doc" ]
depends: [
"ocamlfind" {build}
"ounit" {test & >= "1.0.2"}
]
17 changes: 11 additions & 6 deletions setup.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* setup.ml generated for the first time by OASIS v0.4.4 *)

(* OASIS_START *)
(* DO NOT EDIT (digest: a7bcc70ffdef935ee5fc7a67c5d17742) *)
(* DO NOT EDIT (digest: db3aa73ddf917b4f9fbc54429042add1) *)
(*
Regenerated by OASIS v0.4.5
Visit http://oasis.forge.ocamlcore.org for more information and
Expand Down Expand Up @@ -6885,7 +6885,7 @@ let setup_t =
alpha_features = [];
beta_features = [];
name = "tdk";
version = "0.1.1";
version = "0.2.0";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
Expand All @@ -6897,10 +6897,15 @@ let setup_t =
license_file = None;
copyrights = [];
maintainers = [];
authors = ["Spiros Eliopoulos"];
authors = ["Spiros Eliopoulos <seliopou@gmail.com>"];
homepage = None;
synopsis = "The Decision Kit";
description = None;
description =
Some
[
OASISText.Para
"The Decision Kit is a collection of data structures that are useful for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams."
];
categories = [];
conf_type = (`Configure, "internal", Some "0.4");
conf_custom =
Expand Down Expand Up @@ -7125,14 +7130,14 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.5";
oasis_digest = Some "\006f<\245\236\137\218n8\189\203\214\021\214\2534";
oasis_digest = Some "\226\011L\203\030\155\213&\196e\1545j\203&D";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
};;

let setup () = BaseSetup.setup setup_t;;

# 7137 "setup.ml"
# 7142 "setup.ml"
(* OASIS_STOP *)
let () = setup ();;

0 comments on commit 175f255

Please sign in to comment.