diff --git a/CodeHawk/CH/chutil/dune b/CodeHawk/CH/chutil/dune index 98fadc57..302a5982 100644 --- a/CodeHawk/CH/chutil/dune +++ b/CodeHawk/CH/chutil/dune @@ -1,5 +1,5 @@ (library (name chutil) - (libraries chlib extlib zarith) + (libraries chlib extlib unix zarith) (public_name codehawk.chutil) (wrapped false)) diff --git a/CodeHawk/CHB/bchanalyze/dune b/CodeHawk/CHB/bchanalyze/dune index a8bdb4f1..d07c3a28 100644 --- a/CodeHawk/CHB/bchanalyze/dune +++ b/CodeHawk/CHB/bchanalyze/dune @@ -1,5 +1,5 @@ (library (name bchanalyze) - (libraries bchlib bchlibarm32 bchlibmips32 bchlibpe bchlibpower32 bchlibx86 chlib chutil extlib xprlib) + (libraries bchlib bchlibarm32 bchlibmips32 bchlibpe bchlibpower32 bchlibx86 chlib chutil extlib unix xprlib) (public_name codehawk.bchanalyze) (wrapped false)) diff --git a/CodeHawk/CHB/bchcmdline/dune b/CodeHawk/CHB/bchcmdline/dune index 7e147382..1b749658 100644 --- a/CodeHawk/CHB/bchcmdline/dune +++ b/CodeHawk/CHB/bchcmdline/dune @@ -1,6 +1,6 @@ (executable (name bCHXBinaryAnalyzer) - (libraries bchanalyze bchcil bchlib bchlibarm32 bchlibelf bchlibmips32 bchlibpe bchlibpower32 bchlibx86 chlib chutil extlib) + (libraries bchanalyze bchcil bchlib bchlibarm32 bchlibelf bchlibmips32 bchlibpe bchlibpower32 bchlibx86 chlib chutil extlib unix) (modules bCHXBinaryAnalyzer) (package exes) (public_name chx86_analyze)) @@ -14,35 +14,35 @@ (executable (name bCHXSaveExports) - (libraries bchlib bchlibpe bchlibx86 chlib chutil) + (libraries bchlib bchlibpe bchlibx86 chlib chutil unix) (modules bCHXSaveExports) (package exes) (public_name chx86_save_exports)) (executable (name bCHXMakeLibSummary) - (libraries bchlib chlib chutil) + (libraries bchlib chlib chutil unix) (modules bCHXMakeLibSummary) (package exes) (public_name chx86_make_lib_summary)) (executable (name bCHXMakeAppSummary) - (libraries bchlib chlib chutil) + (libraries bchlib chlib chutil unix) (modules bCHXMakeAppSummary) (package exes) (public_name chx86_make_app_summary)) (executable (name bCHXMakeConstSummary) - (libraries chlib chutil) + (libraries chlib chutil unix) (modules bCHXMakeConstSummary) (package exes) (public_name chx86_make_const_summary)) (executable (name bCHXMakeStructDefinition) - (libraries chlib chutil) + (libraries chlib chutil unix) (modules bCHXMakeStructDefinition) (package exes) (public_name chx86_make_structdef)) diff --git a/CodeHawk/CHB/bchlib/dune b/CodeHawk/CHB/bchlib/dune index ff1688c6..842e5745 100644 --- a/CodeHawk/CHB/bchlib/dune +++ b/CodeHawk/CHB/bchlib/dune @@ -1,6 +1,6 @@ (library (name bchlib) - (libraries chlib chutil extlib xprlib zarith zip) + (libraries chlib chutil extlib unix xprlib zarith zip) (modules_without_implementation bCHJavaBasicTypes) (public_name codehawk.bchlib) (wrapped false)) diff --git a/CodeHawk/CHB/bchlibarm32/dune b/CodeHawk/CHB/bchlibarm32/dune index de6ad288..37be826d 100644 --- a/CodeHawk/CHB/bchlibarm32/dune +++ b/CodeHawk/CHB/bchlibarm32/dune @@ -1,5 +1,5 @@ (library (name bchlibarm32) - (libraries bchlib bchlibelf chlib chutil extlib xprlib) + (libraries bchlib bchlibelf chlib chutil extlib str unix xprlib) (public_name codehawk.bchlibarm32) (wrapped false)) diff --git a/CodeHawk/CHB/bchlibmips32/dune b/CodeHawk/CHB/bchlibmips32/dune index c8b13dc7..47d39d89 100644 --- a/CodeHawk/CHB/bchlibmips32/dune +++ b/CodeHawk/CHB/bchlibmips32/dune @@ -1,5 +1,5 @@ (library (name bchlibmips32) - (libraries bchlib bchlibelf chlib chutil extlib xprlib) + (libraries bchlib bchlibelf chlib chutil extlib str xprlib) (public_name codehawk.bchlibmips32) (wrapped false)) diff --git a/CodeHawk/CHB/bchlibx86/dune b/CodeHawk/CHB/bchlibx86/dune index 800389f7..2cd694f9 100644 --- a/CodeHawk/CHB/bchlibx86/dune +++ b/CodeHawk/CHB/bchlibx86/dune @@ -1,5 +1,5 @@ (library (name bchlibx86) - (libraries bchlib bchlibpe bchlibelf chlib chutil extlib xprlib zarith) + (libraries bchlib bchlibpe bchlibelf chlib chutil extlib str unix xprlib zarith) (public_name codehawk.bchlibx86) (wrapped false)) diff --git a/CodeHawk/CHC/cchanalyze/dune b/CodeHawk/CHC/cchanalyze/dune index 17adae67..fc4359eb 100644 --- a/CodeHawk/CHC/cchanalyze/dune +++ b/CodeHawk/CHC/cchanalyze/dune @@ -1,6 +1,6 @@ (library (name cchanalyze) - (libraries cchlib cchpre chlib chutil xprlib zarith) + (libraries cchlib cchpre chlib chutil unix xprlib zarith) (modules_without_implementation cCHCommon) (public_name codehawk.cchanalyze) (wrapped false)) diff --git a/CodeHawk/CHC/cchlib/dune b/CodeHawk/CHC/cchlib/dune index 28ea74db..bc0407c5 100644 --- a/CodeHawk/CHC/cchlib/dune +++ b/CodeHawk/CHC/cchlib/dune @@ -1,5 +1,5 @@ (library (name cchlib) - (libraries chlib chutil extlib xprlib zarith zip) + (libraries chlib chutil extlib unix xprlib zarith zip) (public_name codehawk.cchlib) (wrapped false)) diff --git a/CodeHawk/CHJ/jchcmdline/dune b/CodeHawk/CHJ/jchcmdline/dune index 070bb6aa..7b13b5da 100644 --- a/CodeHawk/CHJ/jchcmdline/dune +++ b/CodeHawk/CHJ/jchcmdline/dune @@ -28,7 +28,7 @@ (executable (name jCHXNativeMethodSignatures) - (libraries chlib chutil jchlib jchpre) + (libraries chlib chutil jchlib jchpre unix) (modules jCHXNativeMethodSignatures) (package exes) (public_name chj_native)) diff --git a/CodeHawk/CHJ/jchcost/dune b/CodeHawk/CHJ/jchcost/dune index 1d44ced0..9cd02586 100644 --- a/CodeHawk/CHJ/jchcost/dune +++ b/CodeHawk/CHJ/jchcost/dune @@ -1,5 +1,5 @@ (library (name jchcost) - (libraries chlib chutil jchlib jchpoly jchpre jchsys zarith) + (libraries chlib chutil jchlib jchpoly jchpre jchsys str unix zarith) (public_name codehawk.jchcost) (wrapped false)) diff --git a/CodeHawk/CHJ/jchfeatures/dune b/CodeHawk/CHJ/jchfeatures/dune index 67608093..1b6ae883 100644 --- a/CodeHawk/CHJ/jchfeatures/dune +++ b/CodeHawk/CHJ/jchfeatures/dune @@ -1,5 +1,5 @@ (library (name jchfeatures) - (libraries chlib chutil extlib jchlib jchpre) + (libraries chlib chutil extlib jchlib jchpre str unix) (public_name codehawk.jchfeatures) (wrapped false)) diff --git a/CodeHawk/CHJ/jchlib/dune b/CodeHawk/CHJ/jchlib/dune index 02662f65..e9d43042 100644 --- a/CodeHawk/CHJ/jchlib/dune +++ b/CodeHawk/CHJ/jchlib/dune @@ -1,5 +1,5 @@ (library (name jchlib) - (libraries chlib chutil extlib str zarith zip) + (libraries chlib chutil extlib str unix zarith zip) (public_name codehawk.jchlib) (wrapped false)) diff --git a/CodeHawk/CHJ/jchmuse/dune b/CodeHawk/CHJ/jchmuse/dune index 0105262d..959bb25f 100644 --- a/CodeHawk/CHJ/jchmuse/dune +++ b/CodeHawk/CHJ/jchmuse/dune @@ -1,20 +1,20 @@ (executable (name jCHXExtractFeatures) - (libraries chlib chutil extlib jchlib jchfeatures jchpre) + (libraries chlib chutil extlib jchlib jchfeatures jchpre unix) (modules jCHXExtractFeatures) (package exes) (public_name chj_features)) (executable (name jCHXExtractExprFeatures) - (libraries chlib chutil extlib jchlib jchfeatures jchpre) + (libraries chlib chutil extlib jchlib jchfeatures jchpre unix) (modules jCHXExtractExprFeatures) (package exes) (public_name chj_efeatures)) (executable (name jCHXClassPoly) - (libraries chlib chutil extlib jchlib jchpoly jchpre jchsys) + (libraries chlib chutil extlib jchlib jchpoly jchpre jchsys unix) (modules jCHXClassPoly) (package exes) (public_name chj_invariants)) diff --git a/CodeHawk/CHJ/jchpoly/dune b/CodeHawk/CHJ/jchpoly/dune index 3bb38860..3f62af49 100644 --- a/CodeHawk/CHJ/jchpoly/dune +++ b/CodeHawk/CHJ/jchpoly/dune @@ -1,5 +1,5 @@ (library (name jchpoly) - (libraries chlib chutil jchlib jchpre jchsys zarith) + (libraries chlib chutil jchlib jchpre jchsys str unix zarith) (public_name codehawk.jchpoly) (wrapped false)) diff --git a/CodeHawk/CHJ/jchpre/dune b/CodeHawk/CHJ/jchpre/dune index 36c86195..3e1e447a 100644 --- a/CodeHawk/CHJ/jchpre/dune +++ b/CodeHawk/CHJ/jchpre/dune @@ -1,5 +1,5 @@ (library (name jchpre) - (libraries chlib chutil extlib jchlib zip) + (libraries chlib chutil extlib jchlib str unix zip) (public_name codehawk.jchpre) (wrapped false)) diff --git a/CodeHawk/CHJ/jchstac/dune b/CodeHawk/CHJ/jchstac/dune index 496d7b76..4591f565 100644 --- a/CodeHawk/CHJ/jchstac/dune +++ b/CodeHawk/CHJ/jchstac/dune @@ -1,20 +1,20 @@ (executable (name jCHXInitializeAnalysis) - (libraries chlib chutil jchcost jchlib jchpre jchpoly jchsys) + (libraries chlib chutil jchcost jchlib jchpre jchpoly jchsys unix) (modules jCHVersion jCHXInitializeAnalysis) (package exes) (public_name chj_initialize)) (executable (name jCHXClassInvariants) - (libraries chlib chutil extlib jchlib jchpoly jchpre jchsys) + (libraries chlib chutil extlib jchlib jchpoly jchpre jchsys unix) (modules jCHXClassInvariants) (package exes) (public_name chj_class_invariants)) (executable (name jCHXTranslateClass) - (libraries chlib chutil extlib jchlib jchpre) + (libraries chlib chutil extlib jchlib jchpre unix) (modules jCHXTranslateClass) (package exes) (public_name chj_translate_class)) diff --git a/CodeHawk/CHJ/jchsys/dune b/CodeHawk/CHJ/jchsys/dune index ebe8f5f4..32d19e06 100644 --- a/CodeHawk/CHJ/jchsys/dune +++ b/CodeHawk/CHJ/jchsys/dune @@ -1,5 +1,5 @@ (library (name jchsys) - (libraries chlib chutil jchlib jchpre zarith) + (libraries chlib chutil jchlib jchpre str zarith) (public_name codehawk.jchsys) (wrapped false)) diff --git a/CodeHawk/CHT/CHB_tests/bchlib_tests/tbchlib/dune b/CodeHawk/CHT/CHB_tests/bchlib_tests/tbchlib/dune index d9a5be87..d3b5a680 100644 --- a/CodeHawk/CHT/CHB_tests/bchlib_tests/tbchlib/dune +++ b/CodeHawk/CHT/CHB_tests/bchlib_tests/tbchlib/dune @@ -1,5 +1,5 @@ (library (name tbchlib) - (libraries bchlib chlib chutil xprlib tchlib) + (libraries bchlib chlib chutil xprlib unix tchlib) (public_name codehawk.tbchlib) (wrapped false)) diff --git a/CodeHawk/CHT/tchlib/dune b/CodeHawk/CHT/tchlib/dune index fcd0dac5..9dbe92dc 100644 --- a/CodeHawk/CHT/tchlib/dune +++ b/CodeHawk/CHT/tchlib/dune @@ -1,5 +1,5 @@ (library (name tchlib) - (libraries chlib chutil) + (libraries chlib chutil unix) (public_name codehawk.tchlib) (wrapped false))