Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CodeHawk/CH/chutil/dune
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(library
(name chutil)
(libraries chlib extlib zarith)
(libraries chlib extlib unix zarith)
(public_name codehawk.chutil)
(wrapped false))
2 changes: 1 addition & 1 deletion CodeHawk/CHB/bchanalyze/dune
Original file line number Diff line number Diff line change
@@ -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))
12 changes: 6 additions & 6 deletions CodeHawk/CHB/bchcmdline/dune
Original file line number Diff line number Diff line change
@@ -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))
Expand All @@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHB/bchlib/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHB/bchlibarm32/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHB/bchlibmips32/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHB/bchlibx86/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHC/cchanalyze/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHC/cchlib/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchcmdline/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchcost/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchfeatures/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchlib/dune
Original file line number Diff line number Diff line change
@@ -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))
6 changes: 3 additions & 3 deletions CodeHawk/CHJ/jchmuse/dune
Original file line number Diff line number Diff line change
@@ -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))
Expand Down
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchpoly/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchpre/dune
Original file line number Diff line number Diff line change
@@ -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))
6 changes: 3 additions & 3 deletions CodeHawk/CHJ/jchstac/dune
Original file line number Diff line number Diff line change
@@ -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))
Expand Down
2 changes: 1 addition & 1 deletion CodeHawk/CHJ/jchsys/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHT/CHB_tests/bchlib_tests/tbchlib/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 1 addition & 1 deletion CodeHawk/CHT/tchlib/dune
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(library
(name tchlib)
(libraries chlib chutil)
(libraries chlib chutil unix)
(public_name codehawk.tchlib)
(wrapped false))