Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
0940c233
Commit
0940c233
authored
Feb 08, 2017
by
Erwan Jahier
Browse files
Add read_rif and simec_trap in the bin dir
parent
e7a3a44b
Changes
3
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
0940c233
...
...
@@ -16,7 +16,7 @@ STUBLIBS=$(shell dirname $(CAMLIDL))/stublibs
dllcamlidl.so
:
$(STUBLIBS)/dllcamlidl.so
$(STUBLIBS)/dllcamlidl.so
:
$(CAMLIDL)/dllcamlidl.so
$(STUBLIBS)/dllcamlidl.so
:
$(CAMLIDL)/dllcamlidl.so
cp
$<
$@
fix_camlidl_meta
:
$(CAMLIDL)/META
...
...
@@ -32,7 +32,7 @@ lutin-utils/src/lutinutils.ml: lutin-utils/src/lutinUtils.idl
cd
lutin-utils/src/
;
make
###################################################
build
:
setup.data $(CAMLIDL)/dllcamlidl.so
fix_camlidl_meta
build
:
setup.data $(CAMLIDL)/dllcamlidl.so
ocaml setup.ml
-build
setup.ml
:
_oasis lutin/src/version.ml polka/vector.ml lutin-utils/src/lutinutils.ml
...
...
_oasis
View file @
0940c233
OASISFormat: 0.4
Name: Lutin
Version: 2.1
4
Version: 2.1
5
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: PROP
...
...
@@ -14,6 +14,7 @@ Description:
automated testing of reactive systems with Lurette.
BuildTools: ocamlbuild
PreBuildCommand: make lutin/src/version.ml
PostInstallCommand: cp utils/simec_trap $exec_prefix/bin; cp utils/read-rif.sh $exec_prefix/bin
#PreBuildCommand: make gen_version
...
...
lutin/src/version.ml
View file @
0940c233
let
str
=
"2.1
4
"
let
sha
=
"
050dc38
"
let
str
=
"2.1
5
"
let
sha
=
"
e7a3a44
"
Write
Preview
Supports
Markdown
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