# OASIS_START
# DO NOT EDIT (digest: 71d84d7cf0a80c1b7d8a7d1353354192)
# 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
true: annot, bin_annot
<**/.svn>: -traverse
<**/.svn>: not_hygienic
".bzr": -traverse
".bzr": not_hygienic
".hg": -traverse
".hg": not_hygienic
".git": -traverse
".git": not_hygienic
"_darcs": -traverse
"_darcs": not_hygienic
# Library lutin-utils
"lutin-utils/src/lutin-utils.cmxs": use_lutin-utils
<lutin-utils/src/*.ml{,i,y}>: oasis_library_lutin_utils_ccopt
"lutin-utils/src/lutinUtils_c.c": oasis_library_lutin_utils_ccopt
"lutin-utils/src/lutinUtils_stubs.c": oasis_library_lutin_utils_ccopt
"lutin-utils/src/myuid.c": oasis_library_lutin_utils_ccopt
<lutin-utils/src/lutin-utils.{cma,cmxa}>: use_liblutin-utils_stubs
# Library ezdl
"EZDL/ezdl.cmxs": use_ezdl
<EZDL/*.ml{,i,y}>: oasis_library_ezdl_ccopt
"EZDL/Ezdl_c.c": oasis_library_ezdl_ccopt
"EZDL/Inspect_c.c": oasis_library_ezdl_ccopt
<EZDL/ezdl.{cma,cmxa}>: use_libezdl_stubs
# Library gbddml
"gbddml/gbddml.cmxs": use_gbddml
<gbddml/*.ml{,i,y}>: oasis_library_gbddml_ccopt
"gbddml/gbdd_cml.c": oasis_library_gbddml_ccopt
"gbddml/gbdd.c": oasis_library_gbddml_ccopt
<gbddml/gbddml.{cma,cmxa}>: oasis_library_gbddml_cclib
"gbddml/libgbddml_stubs.lib": oasis_library_gbddml_cclib
"gbddml/dllgbddml_stubs.dll": oasis_library_gbddml_cclib
"gbddml/libgbddml_stubs.a": oasis_library_gbddml_cclib
"gbddml/dllgbddml_stubs.so": oasis_library_gbddml_cclib
<gbddml/gbddml.{cma,cmxa}>: use_libgbddml_stubs
# Library polka
"polka/polka.cmxs": use_polka
<polka/*.ml{,i,y}>: oasis_library_polka_ccopt
"polka/polka_c.c": oasis_library_polka_ccopt
"polka/internal.c": oasis_library_polka_ccopt
"polka/bit.c": oasis_library_polka_ccopt
"polka/satmat.c": oasis_library_polka_ccopt
"polka/cherni.c": oasis_library_polka_ccopt
"polka/vector_c.c": oasis_library_polka_ccopt
"polka/matrix_c.c": oasis_library_polka_ccopt
"polka/poly_c.c": oasis_library_polka_ccopt
"polka/vector_caml.c": oasis_library_polka_ccopt
"polka/matrix_caml.c": oasis_library_polka_ccopt
"polka/poly_caml.c": oasis_library_polka_ccopt
"polka/polka_caml.c": oasis_library_polka_ccopt
<polka/polka.{cma,cmxa}>: oasis_library_polka_dlllib
<polka/polka.{cma,cmxa}>: use_libpolka_stubs
<polka/*.ml{,i,y}>: package(gmp)
<polka/*.ml{,i,y}>: package(num)
"polka/polka_c.c": package(gmp)
"polka/polka_c.c": package(num)
"polka/internal.c": package(gmp)
"polka/internal.c": package(num)
"polka/bit.c": package(gmp)
"polka/bit.c": package(num)
"polka/satmat.c": package(gmp)
"polka/satmat.c": package(num)
"polka/cherni.c": package(gmp)
"polka/cherni.c": package(num)
"polka/vector_c.c": package(gmp)
"polka/vector_c.c": package(num)
"polka/matrix_c.c": package(gmp)
"polka/matrix_c.c": package(num)
"polka/poly_c.c": package(gmp)
"polka/poly_c.c": package(num)
"polka/vector_caml.c": package(gmp)
"polka/vector_caml.c": package(num)
"polka/matrix_caml.c": package(gmp)
"polka/matrix_caml.c": package(num)
"polka/poly_caml.c": package(gmp)
"polka/poly_caml.c": package(num)
"polka/polka_caml.c": package(gmp)
"polka/polka_caml.c": package(num)
# Library bddrand
"lutin/src/bddrand.cmxs": use_bddrand
"lutin/src/bddrand.cmxa": oasis_library_bddrand_dlllib
# Library lutin
"lutin/src/lutin.cmxs": use_lutin
"lutin/src/lutin.cmxa": oasis_library_lutin_dlllib
<lutin/src/*.ml{,i,y}>: package(bigarray)
<lutin/src/*.ml{,i,y}>: package(lutils)
# Executable lurette_old
<ltop/src/*.ml{,i,y}>: oasis_executable_lurette_old_ccopt
"ltop/src/lurettetop.native": oasis_executable_lurette_old_cclib
"ltop/src/lurettetop.native": oasis_executable_lurette_old_native
<ltop/src/*.ml{,i,y}>: oasis_executable_lurette_old_native
"ltop/src/lurettetop.native": package(bigarray)
"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(lutils)
"ltop/src/lurettetop.native": package(num)
"ltop/src/lurettetop.native": package(str)
"ltop/src/lurettetop.native": package(unix)
"ltop/src/lurettetop.native": use_ezdl
"ltop/src/lurettetop.native": use_gbddml
"ltop/src/lurettetop.native": use_lutin
"ltop/src/lurettetop.native": use_lutin-utils
"ltop/src/lurettetop.native": use_polka
<ltop/src/*.ml{,i,y}>: package(bigarray)
<ltop/src/*.ml{,i,y}>: package(camlidl)
<ltop/src/*.ml{,i,y}>: package(camlp4)
<ltop/src/*.ml{,i,y}>: package(dynlink)
<ltop/src/*.ml{,i,y}>: package(gmp)
<ltop/src/*.ml{,i,y}>: use_gbddml
<ltop/src/*.ml{,i,y}>: use_lutin
<ltop/src/*.ml{,i,y}>: use_lutin-utils
<ltop/src/*.ml{,i,y}>: use_polka
# Executable lurette
"lurette-nocaml/src/lurette.native": oasis_executable_lurette_cclib
"lurette-nocaml/src/lurette.native": oasis_executable_lurette_native
<lurette-nocaml/src/*.ml{,i,y}>: oasis_executable_lurette_native
"lurette-nocaml/src/lurette.native": package(bigarray)
"lurette-nocaml/src/lurette.native": package(camlidl)
"lurette-nocaml/src/lurette.native": package(camlp4)
"lurette-nocaml/src/lurette.native": package(dynlink)
"lurette-nocaml/src/lurette.native": package(extlib)
"lurette-nocaml/src/lurette.native": package(gmp)
"lurette-nocaml/src/lurette.native": package(lustre-v6)
"lurette-nocaml/src/lurette.native": package(lutils)
"lurette-nocaml/src/lurette.native": package(num)
"lurette-nocaml/src/lurette.native": package(rdbg-plugin)
"lurette-nocaml/src/lurette.native": package(str)
"lurette-nocaml/src/lurette.native": package(unix)
"lurette-nocaml/src/lurette.native": use_ezdl
"lurette-nocaml/src/lurette.native": use_gbddml
"lurette-nocaml/src/lurette.native": use_lutin
"lurette-nocaml/src/lurette.native": use_lutin-utils
"lurette-nocaml/src/lurette.native": use_polka
<lurette-nocaml/src/*.ml{,i,y}>: package(bigarray)
<lurette-nocaml/src/*.ml{,i,y}>: package(camlidl)
<lurette-nocaml/src/*.ml{,i,y}>: package(camlp4)
<lurette-nocaml/src/*.ml{,i,y}>: package(dynlink)
<lurette-nocaml/src/*.ml{,i,y}>: package(extlib)
<lurette-nocaml/src/*.ml{,i,y}>: package(gmp)
<lurette-nocaml/src/*.ml{,i,y}>: package(lustre-v6)
<lurette-nocaml/src/*.ml{,i,y}>: package(lutils)
<lurette-nocaml/src/*.ml{,i,y}>: package(num)
<lurette-nocaml/src/*.ml{,i,y}>: package(rdbg-plugin)
<lurette-nocaml/src/*.ml{,i,y}>: package(str)
<lurette-nocaml/src/*.ml{,i,y}>: package(unix)
<lurette-nocaml/src/*.ml{,i,y}>: use_ezdl
<lurette-nocaml/src/*.ml{,i,y}>: use_gbddml
<lurette-nocaml/src/*.ml{,i,y}>: use_lutin
<lurette-nocaml/src/*.ml{,i,y}>: use_lutin-utils
<lurette-nocaml/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(lutils)
"ltop/src/checkRif.native": package(num)
"ltop/src/checkRif.native": package(str)
"ltop/src/checkRif.native": package(unix)
"ltop/src/checkRif.native": use_ezdl
<ltop/src/*.ml{,i,y}>: package(lustre-v6)
<ltop/src/*.ml{,i,y}>: package(lutils)
<ltop/src/*.ml{,i,y}>: package(num)
<ltop/src/*.ml{,i,y}>: use_ezdl
# Executable call-via-socket
"ltop/src/call_via_socket.native": package(str)
"ltop/src/call_via_socket.native": package(unix)
<ltop/src/*.ml{,i,y}>: package(str)
<ltop/src/*.ml{,i,y}>: package(unix)
# OASIS_STOP
"ltop/src/cmd.ml": syntax_camlp4o
#"lutin/src/lut4c.ml": output_obj

# "src/lutin.cmxa": linkall

