Commit 414f529f authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Remove Main from the lutin library (Main is for the lutin interpreter).

parent 782fb3ea
......@@ -33,13 +33,12 @@ Library lutin
Install:true
CompiledObject: native
XMETAEnable: true
InternalModules: Auto2Lucky,AutoGen,Bddd,CheckEnv,CheckType,CkIdentInfo,CkTypeEff,CoAlgExp,CoIdent,CoTraceExp,Constraint,Draw,Exp,ExpEval,Expand,ExprUtil,FGen,Fair_bddd,Formula_to_bdd,GenOcamlGlue,Glue,Gne,Guard,Lexeme,LoopWeights,Luc2alice,Luc2c,LucFGen,Lucky,LutErrors,LutExe,LutLexer,LutParser,LutPredef,LutProg,LutVersion,Main,MainArg,Ne,Parsers,Poly_draw,Polyhedron,Prevar,Prog,Reactive,Rif,Sol_nb,Solver,Store,Syntaxe,SyntaxeDump,Thickness,Type,Util,Utils,Value,Var,Verbose,Version
InternalModules: Auto2Lucky,AutoGen,Bddd,CheckEnv,CheckType,CkIdentInfo,CkTypeEff,CoAlgExp,CoIdent,CoTraceExp,Constraint,Draw,Exp,ExpEval,Expand,ExprUtil,FGen,Fair_bddd,Formula_to_bdd,GenOcamlGlue,Glue,Gne,Guard,Lexeme,LoopWeights,Luc2alice,Luc2c,LucFGen,Lucky,LutErrors,LutExe,LutLexer,LutParser,LutPredef,LutProg,LutVersion,MainArg,Ne,Parsers,Poly_draw,Polyhedron,Prevar,Prog,Reactive,Rif,Sol_nb,Solver,Store,Syntaxe,SyntaxeDump,Thickness,Type,Util,Utils,Value,Var,Verbose,Version
DllLib: libgmp.so dllcamlidl.so
Library lut4c
XMETADescription: Calling Lutin from C XXX can oasis do that ?
# XXX providing C+ml file migth be enough ?
XMETADescription: Calling Lutin from C XXX NOT WORKING
Path: lutin/src
Modules: Lut4c
FindlibParent: lutin
......
# OASIS_START
# DO NOT EDIT (digest: 24d78dc091e9faf8e360054771c03d72)
# DO NOT EDIT (digest: 9a592b9dfd98d9514da57fa56d887347)
# 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,6 +85,16 @@ 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
......@@ -110,30 +120,6 @@ 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": 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": package(lustre-v6)
......
let str="1.57"
let sha="1ef2cb1"
let sha="782fb3e"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment