mirror of
https://github.com/c-cube/iter.git
synced 2026-03-08 06:47:56 -04:00
oasis files
This commit is contained in:
parent
d5b9674124
commit
2ae771f460
7 changed files with 7250 additions and 46 deletions
14
META
14
META
|
|
@ -1,11 +1,21 @@
|
||||||
# OASIS_START
|
# OASIS_START
|
||||||
# DO NOT EDIT (digest: 1e28d93f3671e8db9acf63b73cdbca82)
|
# DO NOT EDIT (digest: 97bacb5c6907fa4ab239010b6f052d2a)
|
||||||
version = "0.4.1"
|
version = "0.5"
|
||||||
description = "Simple sequence (iterator) datatype and combinators"
|
description = "Simple sequence (iterator) datatype and combinators"
|
||||||
archive(byte) = "sequence.cma"
|
archive(byte) = "sequence.cma"
|
||||||
archive(byte, plugin) = "sequence.cma"
|
archive(byte, plugin) = "sequence.cma"
|
||||||
archive(native) = "sequence.cmxa"
|
archive(native) = "sequence.cmxa"
|
||||||
archive(native, plugin) = "sequence.cmxs"
|
archive(native, plugin) = "sequence.cmxs"
|
||||||
exists_if = "sequence.cma"
|
exists_if = "sequence.cma"
|
||||||
|
package "invert" (
|
||||||
|
version = "0.5"
|
||||||
|
description = "Simple sequence (iterator) datatype and combinators"
|
||||||
|
requires = "sequence delimcc"
|
||||||
|
archive(byte) = "invert.cma"
|
||||||
|
archive(byte, plugin) = "invert.cma"
|
||||||
|
archive(native) = "invert.cmxa"
|
||||||
|
archive(native, plugin) = "invert.cmxs"
|
||||||
|
exists_if = "invert.cma"
|
||||||
|
)
|
||||||
# OASIS_STOP
|
# OASIS_STOP
|
||||||
|
|
||||||
|
|
|
||||||
10
Makefile
10
Makefile
|
|
@ -49,10 +49,18 @@ examples:
|
||||||
push_doc: all doc
|
push_doc: all doc
|
||||||
scp -r sequence.docdir/* cedeela.fr:~/simon/root/software/sequence/
|
scp -r sequence.docdir/* cedeela.fr:~/simon/root/software/sequence/
|
||||||
|
|
||||||
|
push_stable: all
|
||||||
|
git checkout stable
|
||||||
|
git merge master -m 'merge from master'
|
||||||
|
oasis setup
|
||||||
|
git commit -a -m 'oasis files'
|
||||||
|
git push origin
|
||||||
|
git checkout master
|
||||||
|
|
||||||
VERSION=$(shell awk '/Version:/ {print $$2}' _oasis)
|
VERSION=$(shell awk '/Version:/ {print $$2}' _oasis)
|
||||||
|
|
||||||
update_next_tag:
|
update_next_tag:
|
||||||
@echo "update version to $(VERSION)..."
|
@echo "update version to $(VERSION)..."
|
||||||
sed -i "s/NEXT_VERSION/$(VERSION)/g" *.ml *.mli
|
sed -i "s/NEXT_VERSION/$(VERSION)/g" *.ml *.mli
|
||||||
|
|
||||||
.PHONY: benchs tests examples update_next_tag push_doc
|
.PHONY: benchs tests examples update_next_tag push_doc push_stable
|
||||||
|
|
|
||||||
11
_tags
11
_tags
|
|
@ -1,5 +1,5 @@
|
||||||
# OASIS_START
|
# OASIS_START
|
||||||
# DO NOT EDIT (digest: ffd3fbaf00b431777fea1b8279203bf9)
|
# DO NOT EDIT (digest: e8d5fe31ff471d3c0ec54943fe50d011)
|
||||||
# Ignore VCS directories, you can use the same kind of rule outside
|
# Ignore VCS directories, you can use the same kind of rule outside
|
||||||
# OASIS_START/STOP if you want to exclude directories that contains
|
# OASIS_START/STOP if you want to exclude directories that contains
|
||||||
# useless stuff for the build process
|
# useless stuff for the build process
|
||||||
|
|
@ -15,6 +15,15 @@
|
||||||
"_darcs": not_hygienic
|
"_darcs": not_hygienic
|
||||||
# Library sequence
|
# Library sequence
|
||||||
"sequence.cmxs": use_sequence
|
"sequence.cmxs": use_sequence
|
||||||
|
# Library invert
|
||||||
|
"invert/invert.cmxs": use_invert
|
||||||
|
<invert/*.ml{,i}>: pkg_delimcc
|
||||||
|
<invert/*.ml{,i}>: use_sequence
|
||||||
|
# Executable run_tests
|
||||||
|
"tests/run_tests.native": pkg_oUnit
|
||||||
|
"tests/run_tests.native": use_sequence
|
||||||
|
<tests/*.ml{,i}>: pkg_oUnit
|
||||||
|
<tests/*.ml{,i}>: use_sequence
|
||||||
# Executable benchs
|
# Executable benchs
|
||||||
"bench/benchs.native": pkg_benchmark
|
"bench/benchs.native": pkg_benchmark
|
||||||
"bench/benchs.native": use_sequence
|
"bench/benchs.native": use_sequence
|
||||||
|
|
|
||||||
4
invert/invert.mldylib
Normal file
4
invert/invert.mldylib
Normal file
|
|
@ -0,0 +1,4 @@
|
||||||
|
# OASIS_START
|
||||||
|
# DO NOT EDIT (digest: d74492d261fcc87665b60e0331c04236)
|
||||||
|
SequenceInvert
|
||||||
|
# OASIS_STOP
|
||||||
4
invert/invert.mllib
Normal file
4
invert/invert.mllib
Normal file
|
|
@ -0,0 +1,4 @@
|
||||||
|
# OASIS_START
|
||||||
|
# DO NOT EDIT (digest: d74492d261fcc87665b60e0331c04236)
|
||||||
|
SequenceInvert
|
||||||
|
# OASIS_STOP
|
||||||
|
|
@ -1,5 +1,5 @@
|
||||||
(* OASIS_START *)
|
(* OASIS_START *)
|
||||||
(* DO NOT EDIT (digest: 958ece46307b808952e439e1cc47a739) *)
|
(* DO NOT EDIT (digest: c4bb6d2ca42efb069d5612eb2bbcf244) *)
|
||||||
module OASISGettext = struct
|
module OASISGettext = struct
|
||||||
(* # 22 "src/oasis/OASISGettext.ml" *)
|
(* # 22 "src/oasis/OASISGettext.ml" *)
|
||||||
|
|
||||||
|
|
@ -39,10 +39,10 @@ module OASISExpr = struct
|
||||||
open OASISGettext
|
open OASISGettext
|
||||||
|
|
||||||
|
|
||||||
type test = string
|
type test = string
|
||||||
|
|
||||||
|
|
||||||
type flag = string
|
type flag = string
|
||||||
|
|
||||||
|
|
||||||
type t =
|
type t =
|
||||||
|
|
@ -52,10 +52,10 @@ module OASISExpr = struct
|
||||||
| EOr of t * t
|
| EOr of t * t
|
||||||
| EFlag of flag
|
| EFlag of flag
|
||||||
| ETest of test * string
|
| ETest of test * string
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
type 'a choices = (t * 'a) list
|
|
||||||
|
type 'a choices = (t * 'a) list
|
||||||
|
|
||||||
|
|
||||||
let eval var_get t =
|
let eval var_get t =
|
||||||
|
|
@ -430,10 +430,10 @@ module MyOCamlbuildBase = struct
|
||||||
module OC = Ocamlbuild_pack.Ocaml_compiler
|
module OC = Ocamlbuild_pack.Ocaml_compiler
|
||||||
|
|
||||||
|
|
||||||
type dir = string
|
type dir = string
|
||||||
type file = string
|
type file = string
|
||||||
type name = string
|
type name = string
|
||||||
type tag = string
|
type tag = string
|
||||||
|
|
||||||
|
|
||||||
(* # 62 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
|
(* # 62 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
|
||||||
|
|
@ -448,7 +448,7 @@ module MyOCamlbuildBase = struct
|
||||||
* directory.
|
* directory.
|
||||||
*)
|
*)
|
||||||
includes: (dir * dir list) list;
|
includes: (dir * dir list) list;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
let env_filename =
|
let env_filename =
|
||||||
|
|
@ -595,7 +595,8 @@ end
|
||||||
open Ocamlbuild_plugin;;
|
open Ocamlbuild_plugin;;
|
||||||
let package_default =
|
let package_default =
|
||||||
{
|
{
|
||||||
MyOCamlbuildBase.lib_ocaml = [("sequence", [], [])];
|
MyOCamlbuildBase.lib_ocaml =
|
||||||
|
[("sequence", [], []); ("invert", ["invert"], [])];
|
||||||
lib_c = [];
|
lib_c = [];
|
||||||
flags = [];
|
flags = [];
|
||||||
includes = []
|
includes = []
|
||||||
|
|
@ -604,6 +605,6 @@ let package_default =
|
||||||
|
|
||||||
let dispatch_default = MyOCamlbuildBase.dispatch_default package_default;;
|
let dispatch_default = MyOCamlbuildBase.dispatch_default package_default;;
|
||||||
|
|
||||||
# 608 "myocamlbuild.ml"
|
# 609 "myocamlbuild.ml"
|
||||||
(* OASIS_STOP *)
|
(* OASIS_STOP *)
|
||||||
Ocamlbuild_plugin.dispatch dispatch_default;;
|
Ocamlbuild_plugin.dispatch dispatch_default;;
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue