[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-10-gc82df05

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 4245d307f655eb73463e31d952752d0d4b74a7f9
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sat Mar 24 21:07:55 2012 +0100

    add quilt .pc directory

diff --git a/.gitignore b/.gitignore
index 337c126..b25c15b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
 *~
-.pc
\ No newline at end of file
diff --git a/.pc/.quilt_patches b/.pc/.quilt_patches
new file mode 100644
index 0000000..6857a8d
--- /dev/null
+++ b/.pc/.quilt_patches
@@ -0,0 +1 @@
+debian/patches
diff --git a/.pc/.quilt_series b/.pc/.quilt_series
new file mode 100644
index 0000000..c206706
--- /dev/null
+++ b/.pc/.quilt_series
@@ -0,0 +1 @@
+series
diff --git a/.pc/.version b/.pc/.version
new file mode 100644
index 0000000..0cfbf08
--- /dev/null
+++ b/.pc/.version
@@ -0,0 +1 @@
+2
diff --git a/debian/patches/series b/.pc/applied-patches
similarity index 100%
copy from debian/patches/series
copy to .pc/applied-patches
diff --git a/.pc/default-hollight-dir/.timestamp b/.pc/default-hollight-dir/.timestamp
new file mode 100644
index 0000000..e69de29
diff --git a/hol.ml b/.pc/default-hollight-dir/hol.ml
similarity index 97%
copy from hol.ml
copy to .pc/default-hollight-dir/hol.ml
index c19c860..843b11f 100644
--- a/hol.ml
+++ b/.pc/default-hollight-dir/hol.ml
@@ -11,16 +11,8 @@
 
 let hol_version = "2.20++";;
 
-let debian_hol_light_dir = "/usr/share/hol-light"
-
 let hol_dir = ref
-  (try Sys.getenv "HOLLIGHT_DIR"
-   with Not_found ->
-     try
-       if Sys.is_directory debian_hol_light_dir
-       then debian_hol_light_dir
-       else raise (Sys_error "")
-     with Sys_error _ -> Sys.getcwd());;
+  (try Sys.getenv "HOLLIGHT_DIR" with Not_found -> Sys.getcwd());;
 
 (* ------------------------------------------------------------------------- *)
 (* Should eventually change to "ref(Filename.temp_dir_name)".                *)

-- 
hol-light packaging