diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-01-05 15:16:31 +0000 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-01-05 15:16:31 +0000 |
commit | 3126bfee333b5c635dc60a54265936af06117f6a (patch) | |
tree | e08310b1d4b007eec44381390c84049b1dd8658b /mlvirtmanager | |
parent | 1e65c6c293a0f7917e87438330e2583bd38758dd (diff) | |
download | virt-top-3126bfee333b5c635dc60a54265936af06117f6a.tar.gz virt-top-3126bfee333b5c635dc60a54265936af06117f6a.tar.xz virt-top-3126bfee333b5c635dc60a54265936af06117f6a.zip |
Build libvirt and examples on Windows (MinGW).
* aclocal.m4: Add AC_CHECK_OCAML_MODULE to check for OCaml
modules directly (without ocamlfind being needed).
* configure.ac: Remove requirement for ocamlfind.
* config.guess, config.sub: Ship these files to guess host,
build and target.
* libvirt/Makefile.in, examples/Makefile.in: Change these
so they don't require ocamlfind, do the right thing on MinGW.
* Make.rules.in: Make.rules is now generated from this file.
File can use ocamlfind or direct ocaml commands as available.
* .hgignore: Ignore some generated files on Windows.
Diffstat (limited to 'mlvirtmanager')
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/.depend | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/Makefile.in | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager.ml | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_connections.ml | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_connections.mli | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_domain_ops.ml | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_domain_ops.mli | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_helpers.ml | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_helpers.mli | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_mainwindow.ml | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | mlvirtmanager/mlvirtmanager_mainwindow.mli | 0 |
11 files changed, 0 insertions, 0 deletions
diff --git a/mlvirtmanager/.depend b/mlvirtmanager/.depend index 01a1aa6..01a1aa6 100644..100755 --- a/mlvirtmanager/.depend +++ b/mlvirtmanager/.depend diff --git a/mlvirtmanager/Makefile.in b/mlvirtmanager/Makefile.in index 5bcb84c..5bcb84c 100644..100755 --- a/mlvirtmanager/Makefile.in +++ b/mlvirtmanager/Makefile.in diff --git a/mlvirtmanager/mlvirtmanager.ml b/mlvirtmanager/mlvirtmanager.ml index 12382fe..12382fe 100644..100755 --- a/mlvirtmanager/mlvirtmanager.ml +++ b/mlvirtmanager/mlvirtmanager.ml diff --git a/mlvirtmanager/mlvirtmanager_connections.ml b/mlvirtmanager/mlvirtmanager_connections.ml index e72ffcd..e72ffcd 100644..100755 --- a/mlvirtmanager/mlvirtmanager_connections.ml +++ b/mlvirtmanager/mlvirtmanager_connections.ml diff --git a/mlvirtmanager/mlvirtmanager_connections.mli b/mlvirtmanager/mlvirtmanager_connections.mli index 7d4102c..7d4102c 100644..100755 --- a/mlvirtmanager/mlvirtmanager_connections.mli +++ b/mlvirtmanager/mlvirtmanager_connections.mli diff --git a/mlvirtmanager/mlvirtmanager_domain_ops.ml b/mlvirtmanager/mlvirtmanager_domain_ops.ml index 6de6c59..6de6c59 100644..100755 --- a/mlvirtmanager/mlvirtmanager_domain_ops.ml +++ b/mlvirtmanager/mlvirtmanager_domain_ops.ml diff --git a/mlvirtmanager/mlvirtmanager_domain_ops.mli b/mlvirtmanager/mlvirtmanager_domain_ops.mli index fd1bfc9..fd1bfc9 100644..100755 --- a/mlvirtmanager/mlvirtmanager_domain_ops.mli +++ b/mlvirtmanager/mlvirtmanager_domain_ops.mli diff --git a/mlvirtmanager/mlvirtmanager_helpers.ml b/mlvirtmanager/mlvirtmanager_helpers.ml index 859b8f2..859b8f2 100644..100755 --- a/mlvirtmanager/mlvirtmanager_helpers.ml +++ b/mlvirtmanager/mlvirtmanager_helpers.ml diff --git a/mlvirtmanager/mlvirtmanager_helpers.mli b/mlvirtmanager/mlvirtmanager_helpers.mli index 25c5417..25c5417 100644..100755 --- a/mlvirtmanager/mlvirtmanager_helpers.mli +++ b/mlvirtmanager/mlvirtmanager_helpers.mli diff --git a/mlvirtmanager/mlvirtmanager_mainwindow.ml b/mlvirtmanager/mlvirtmanager_mainwindow.ml index 918c9a6..918c9a6 100644..100755 --- a/mlvirtmanager/mlvirtmanager_mainwindow.ml +++ b/mlvirtmanager/mlvirtmanager_mainwindow.ml diff --git a/mlvirtmanager/mlvirtmanager_mainwindow.mli b/mlvirtmanager/mlvirtmanager_mainwindow.mli index 22fce47..22fce47 100644..100755 --- a/mlvirtmanager/mlvirtmanager_mainwindow.mli +++ b/mlvirtmanager/mlvirtmanager_mainwindow.mli |