Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
656b2a16
Commit
656b2a16
authored
Dec 14, 2017
by
erwan
Browse files
Don't fail if the doc cannot be build
parent
22505f0e
Changes
6
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
656b2a16
...
@@ -14,7 +14,7 @@ build:
...
@@ -14,7 +14,7 @@ build:
-
opam repo add opam-ocaml-org "https://opam.ocaml.org"
-
opam repo add opam-ocaml-org "https://opam.ocaml.org"
-
opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
-
opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
-
opam update
-
opam update
-
opam install -y
camlp4 ocamlfind
camlidl
oasis
mlgmpidl
-
opam install -y
oasis
camlidl mlgmpidl
-
opam install rdbg lustre-v6
-
opam install rdbg lustre-v6
-
make
-
make
-
make install
-
make install
...
...
Makefile
View file @
656b2a16
...
@@ -2,7 +2,7 @@ ifndef LURETTE_PATH
...
@@ -2,7 +2,7 @@ ifndef LURETTE_PATH
LURETTE_PATH
=
$(PWD)
LURETTE_PATH
=
$(PWD)
endif
endif
all
:
build
man
all
:
build
-include
./Makefile.version
-include
./Makefile.version
-include
./Makefile.local
-include
./Makefile.local
...
@@ -32,7 +32,7 @@ doc:
...
@@ -32,7 +32,7 @@ doc:
ocaml setup.ml
-doc
ocaml setup.ml
-doc
man
:
man
:
cd
doc/lutin-man/
&&
make
||
echo
"cannot build the doc"
cd
doc/lutin-man/
&&
make
||
echo
"cannot build the doc"
;
exit
0
install
:
install
:
...
...
Makefile.dev
View file @
656b2a16
...
@@ -27,7 +27,7 @@ update_version:
...
@@ -27,7 +27,7 @@ update_version:
make clean
&&
make
make clean
&&
make
cia
:
test cia-no-test
cia
:
test
man
cia-no-test
cia-no-test
:
cia-no-test
:
test
-f
committed
&&
\
test
-f
committed
&&
\
echo
"*** I won't commit!
\n
*** until you 'make update_version'!"
\
echo
"*** I won't commit!
\n
*** until you 'make update_version'!"
\
...
...
_oasis
View file @
656b2a16
OASISFormat: 0.4
OASISFormat: 0.4
Name: Lutin
Name: Lutin
Version: 2.4
0
Version: 2.4
1
Authors: Erwan Jahier
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
Maintainers: erwan.jahier@imag.fr
License: PROP
License: PROP
...
@@ -14,6 +14,7 @@ Description:
...
@@ -14,6 +14,7 @@ Description:
automated testing of reactive systems with Lurette.
automated testing of reactive systems with Lurette.
BuildTools: ocamlbuild
BuildTools: ocamlbuild
PreBuildCommand: make lutin/src/version.ml
PreBuildCommand: make lutin/src/version.ml
PostInstallCommand: cp utils/simec_trap $exec_prefix/bin; cp utils/read-rif.sh $exec_prefix/bin; cp utils/lurette $exec_prefix/bin
#PreBuildCommand: make gen_version
#PreBuildCommand: make gen_version
...
@@ -57,6 +58,8 @@ Library "lutin-utils"
...
@@ -57,6 +58,8 @@ Library "lutin-utils"
CSources: lutinUtils.h,lutinUtils_c.c,lutinUtils_stubs.c,myuid.h,myuid.c
CSources: lutinUtils.h,lutinUtils_c.c,lutinUtils_stubs.c,myuid.h,myuid.c
CCOpt: -fPIC -I$pkg_camlidl -I/usr/local/include/
CCOpt: -fPIC -I$pkg_camlidl -I/usr/local/include/
# The old lurette. Remove ?
# it create a weird dependancies on lustre-v6
Executable lurettetop_exe
Executable lurettetop_exe
Path: ltop/src
Path: ltop/src
MainIs: lurettetop.ml
MainIs: lurettetop.ml
...
@@ -68,10 +71,7 @@ Executable lurettetop_exe
...
@@ -68,10 +71,7 @@ Executable lurettetop_exe
CClib: -lcamlidl
CClib: -lcamlidl
CCOpt: -fPIC
CCOpt: -fPIC
# should be moved to lutils
Library ezdl
Library ezdl
XMETADescription: ezdl: easy dynamic linking of C functions from ocaml
XMETADescription: ezdl: easy dynamic linking of C functions from ocaml
Path: EZDL
Path: EZDL
...
@@ -80,7 +80,7 @@ Library ezdl
...
@@ -80,7 +80,7 @@ Library ezdl
CSources: Ezdl_c.c,Inspect_c.c
CSources: Ezdl_c.c,Inspect_c.c
CCOpt: -fPIC
CCOpt: -fPIC
# should be moved to lutils
Library gbddml
Library gbddml
XMETADescription: gbddml: the Verimag bdd library
XMETADescription: gbddml: the Verimag bdd library
Path: gbddml
Path: gbddml
...
@@ -90,11 +90,12 @@ Library gbddml
...
@@ -90,11 +90,12 @@ Library gbddml
CCOpt: -x c++ -g -O2 -fno-operator-names -fPIC -I$pkg_camlidl
CCOpt: -x c++ -g -O2 -fno-operator-names -fPIC -I$pkg_camlidl
CClib: -lstdc++
CClib: -lstdc++
Library polka
Library polka
XMETADescription: polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
XMETADescription: polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
Path: polka
Path: polka
Modules: Polka,PolkaIO,Vector,Matrix,Poly,Polka_parser,Polka_lexer
Modules: Polka,PolkaIO,Vector,Matrix,Poly,Polka_parser,Polka_lexer
BuildDepends: gmp
BuildDepends: gmp
# actually it is named mlgmpidl in opam
Install: true
Install: true
CSources: pkint.h, config.h,
CSources: pkint.h, config.h,
polka.h, internal.h, bit.h, satmat.h, cherni.h,
polka.h, internal.h, bit.h, satmat.h, cherni.h,
...
...
doc/lutin-man/lutin-man.pdf
View file @
656b2a16
No preview for this file type
lutin/src/version.ml
View file @
656b2a16
let
str
=
"2.4
0
"
let
str
=
"2.4
1
"
let
sha
=
"
c0a4919
"
let
sha
=
"
22505f0
"
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment