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
f303485f
Commit
f303485f
authored
Jan 26, 2016
by
Erwan Jahier
Browse files
Remove some useless deps when building the lutin lib.
parent
414f529f
Changes
3
Hide whitespace changes
Inline
Side-by-side
_oasis
View file @
f303485f
...
...
@@ -20,6 +20,7 @@ Executable lutin
Path: lutin/src
MainIs: main.ml
BuildDepends: str,unix,num,rdbg-plugin,lutin-utils,ezdl,gbddml,polka,camlp4,camlidl
NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
Build: true
Install:true
CompiledObject: native
...
...
@@ -29,7 +30,7 @@ Library lutin
XMETADescription: Provides an API to call Lutin from ocaml (and rdbg)
Path: lutin/src
Modules: LutinRun
BuildDepends:
str,unix,num,rdbg-plugin
,lutin-utils,ezdl,gbddml,polka,caml
p4
BuildDepends:
camlp4
,lutin-utils,ezdl,gbddml,polka,caml
idl
Install:true
CompiledObject: native
XMETAEnable: true
...
...
@@ -58,8 +59,9 @@ Library "lutin-utils"
Executable lurettetop_exe
Path: ltop/src
MainIs: lurettetop.ml
BuildDepends: num,str,unix,dynlink,
rdbg-plugin,ezdl,
lustre-v6,lutin,gbddml,polka,camlp4,camlidl
BuildDepends: num,str,unix,dynlink,lustre-v6,lutin,
ezdl,
gbddml,polka,camlp4,camlidl
Build: true
NativeOpt: -package dynlink # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
Install:true
CompiledObject: native
CClib: -lcamlidl
...
...
@@ -108,6 +110,7 @@ Executable "check-rif"
Path: ltop/src
MainIs: checkRif.ml
BuildDepends: num,str,unix,rdbg-plugin,ezdl,lustre-v6
NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
Build: true
Install:true
CompiledObject: native
...
...
_tags
View file @
f303485f
# OASIS_START
# DO NOT EDIT (digest:
9a592b9dfd98d9514da57fa56d887347
)
# DO NOT EDIT (digest:
a9cc155d53b009a6a454d738b3ca1969
)
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
...
...
@@ -85,26 +85,17 @@ true: annot, bin_annot
# Library lutin
"lutin/src/lutin.cmxs": use_lutin
"lutin/src/lutin.cmxa": oasis_library_lutin_dlllib
<lutin/src/*.ml{,i,y}>: package(camlp4)
<lutin/src/*.ml{,i,y}>: package(gmp)
<lutin/src/*.ml{,i,y}>: package(num)
<lutin/src/*.ml{,i,y}>: package(rdbg-plugin)
<lutin/src/*.ml{,i,y}>: package(str)
<lutin/src/*.ml{,i,y}>: package(unix)
<lutin/src/*.ml{,i,y}>: use_ezdl
<lutin/src/*.ml{,i,y}>: use_gbddml
<lutin/src/*.ml{,i,y}>: use_lutin-utils
<lutin/src/*.ml{,i,y}>: use_polka
# Executable lurettetop_exe
<ltop/src/*.ml{,i,y}>: oasis_executable_lurettetop_exe_ccopt
"ltop/src/lurettetop.native": oasis_executable_lurettetop_exe_cclib
"ltop/src/lurettetop.native": oasis_executable_lurettetop_exe_native
<ltop/src/*.ml{,i,y}>: oasis_executable_lurettetop_exe_native
"ltop/src/lurettetop.native": package(camlidl)
"ltop/src/lurettetop.native": package(camlp4)
"ltop/src/lurettetop.native": package(dynlink)
"ltop/src/lurettetop.native": package(gmp)
"ltop/src/lurettetop.native": package(lustre-v6)
"ltop/src/lurettetop.native": package(num)
"ltop/src/lurettetop.native": package(rdbg-plugin)
"ltop/src/lurettetop.native": package(str)
"ltop/src/lurettetop.native": package(unix)
"ltop/src/lurettetop.native": use_ezdl
...
...
@@ -120,8 +111,36 @@ true: annot, bin_annot
<ltop/src/*.ml{,i,y}>: use_lutin
<ltop/src/*.ml{,i,y}>: use_lutin-utils
<ltop/src/*.ml{,i,y}>: use_polka
# Executable lutin
"lutin/src/main.native": oasis_executable_lutin_cclib
"lutin/src/main.native": oasis_executable_lutin_native
<lutin/src/*.ml{,i,y}>: oasis_executable_lutin_native
"lutin/src/main.native": package(camlidl)
"lutin/src/main.native": package(camlp4)
"lutin/src/main.native": package(gmp)
"lutin/src/main.native": package(num)
"lutin/src/main.native": package(rdbg-plugin)
"lutin/src/main.native": package(str)
"lutin/src/main.native": package(unix)
"lutin/src/main.native": use_ezdl
"lutin/src/main.native": use_gbddml
"lutin/src/main.native": use_lutin-utils
"lutin/src/main.native": use_polka
<lutin/src/*.ml{,i,y}>: package(camlidl)
<lutin/src/*.ml{,i,y}>: package(camlp4)
<lutin/src/*.ml{,i,y}>: package(gmp)
<lutin/src/*.ml{,i,y}>: package(num)
<lutin/src/*.ml{,i,y}>: package(rdbg-plugin)
<lutin/src/*.ml{,i,y}>: package(str)
<lutin/src/*.ml{,i,y}>: package(unix)
<lutin/src/*.ml{,i,y}>: use_ezdl
<lutin/src/*.ml{,i,y}>: use_gbddml
<lutin/src/*.ml{,i,y}>: use_lutin-utils
<lutin/src/*.ml{,i,y}>: use_polka
# Executable check-rif
<ltop/src/*.ml{,i,y}>: oasis_executable_check_rif_ccopt
"ltop/src/checkRif.native": oasis_executable_check_rif_native
<ltop/src/*.ml{,i,y}>: oasis_executable_check_rif_native
"ltop/src/checkRif.native": package(lustre-v6)
"ltop/src/checkRif.native": package(num)
"ltop/src/checkRif.native": package(rdbg-plugin)
...
...
lutin/src/version.ml
View file @
f303485f
let
str
=
"1.57"
let
sha
=
"
782fb3e
"
let
sha
=
"
18ee150
"
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