Commits

camlspotter  committed 7f86eb7

preparing 1.0.1 release

  • Participants
  • Parent commits 813a380

Comments (0)

Files changed (5)

 OASISFormat: 0.2
 Name:        spotinstall
-Version:     1.0.0
+Version:     1.0.1
 Synopsis:    A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit). 
 Authors:     Jun FURUSE
 License:     LGPL-2.0 with OCaml linking exception

File opam/spotinstall.1.0.1/descr

+A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit). 
+Many existing OCaml libraries, applications and the compiler itself do
+not produce or install the annotation files (.annot, .cmt, .cmti,
+.spot, .spit) which are essential for sub-expression type queries
+(caml-types.el), definition seaches and code refactoring (TypeRex and
+OCamlSpotter). If you want to use development tools, you have to:
+
+* Rebuild all the software from the source, adding -annot/-bin-annot
+  option to compiler flags in build scripts
+  i.e. Makefile/OCamlBuild/OMakefile.
+
+* Install those annotation files together with the library objects and
+  signatures. (Require modification of the build scripts)
+
+for all the programs.
+
+SpotInstall provides a post-installation workaround, consists of two things:
+
+* A very small compiler patch which activates -annot and -bin-annot if OCAML_ANNOT environment variable is defined. (You no longder need to add -annot/-bin-annot to the build scripts.)
+* A small tool to install annotation files to the library destination directory. (You no longer need to add annotation file installation to the build scripts.)
+
+For the first workaround, you need a small patch available from::
+
+    hg clone -b annot https://bitbucket.org/camlspotter/mutated_ocaml
+
+or included in this source package, ocaml-annot-<version>.patch.
+
+For the second one, you can use SpotInstall. This tool.

File opam/spotinstall.1.0.1/opam

+opam-version: "1"
+maintainer: "jun.furuse@gmail.com"
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" "%{prefix}%"]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-install"]
+]
+remove: [
+  ["ocaml" "setup.ml" "-uninstall"]
+]
+depends: [ "ocamlfind" "spotlib" {>="2.0.0"} "omake"]
+ocaml-version: [>= "4.00.0"]

File opam/spotinstall.1.0.1/url

+archive: "https://bitbucket.org/camlspotter/spotinstall/get/1.0.1.tar.gz"
 (* setup.ml generated for the first time by OASIS v0.3.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 81add4f47d96c0b859fd983824c0096e) *)
+(* DO NOT EDIT (digest: 35e32d9b70dd4c803e5a9b5eec419a5a) *)
 (*
    Regenerated by OASIS v0.3.0
    Visit http://oasis.forge.ocamlcore.org for more information and
    documentation about functions used in this file.
 *)
 module OASISGettext = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISGettext.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISGettext.ml"
 
   let ns_ str =
     str
 end
 
 module OASISContext = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISContext.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISContext.ml"
 
   open OASISGettext
 
 end
 
 module OASISString = struct
-(* # 1 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISString.ml" *)
+# 1 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISString.ml"
 
 
 
 end
 
 module OASISUtils = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISUtils.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISUtils.ml"
 
   open OASISGettext
 
 end
 
 module PropList = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/PropList.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/PropList.ml"
 
   open OASISGettext
 
     let clear t =
       Hashtbl.clear t
 
-(* # 71 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/PropList.ml" *)
+# 71 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/PropList.ml"
   end
 
   module Schema =
 end
 
 module OASISMessage = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISMessage.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISMessage.ml"
 
 
   open OASISGettext
 end
 
 module OASISVersion = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISVersion.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISVersion.ml"
 
   open OASISGettext
 
 end
 
 module OASISLicense = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISLicense.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISLicense.ml"
 
   (** License for _oasis fields
       @author Sylvain Le Gall
 end
 
 module OASISExpr = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISExpr.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISExpr.ml"
 
 
 
 end
 
 module OASISTypes = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISTypes.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISTypes.ml"
 
 
 
 
   type plugin_data = (all_plugin * plugin_data_purpose * (unit -> unit)) list
 
-(* # 102 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISTypes.ml" *)
+# 102 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISTypes.ml"
 
   type 'a conditional = 'a OASISExpr.choices 
 
 end
 
 module OASISUnixPath = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISUnixPath.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISUnixPath.ml"
 
   type unix_filename = string
   type unix_dirname = string
 end
 
 module OASISHostPath = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISHostPath.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISHostPath.ml"
 
 
   open Filename
 end
 
 module OASISSection = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISSection.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISSection.ml"
 
   open OASISTypes
 
 end
 
 module OASISBuildSection = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISBuildSection.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISBuildSection.ml"
 
 end
 
 module OASISExecutable = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISExecutable.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISExecutable.ml"
 
   open OASISTypes
 
 end
 
 module OASISLibrary = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISLibrary.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISLibrary.ml"
 
   open OASISTypes
   open OASISUtils
 end
 
 module OASISFlag = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISFlag.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISFlag.ml"
 
 end
 
 module OASISPackage = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISPackage.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISPackage.ml"
 
 end
 
 module OASISSourceRepository = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISSourceRepository.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISSourceRepository.ml"
 
 end
 
 module OASISTest = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISTest.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISTest.ml"
 
 end
 
 module OASISDocument = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISDocument.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISDocument.ml"
 
 end
 
 module OASISExec = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISExec.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISExec.ml"
 
   open OASISGettext
   open OASISUtils
 end
 
 module OASISFileUtil = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/oasis/OASISFileUtil.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/oasis/OASISFileUtil.ml"
 
   open OASISGettext
 
 
 # 2142 "setup.ml"
 module BaseEnvLight = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseEnvLight.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseEnvLight.ml"
 
   module MapString = Map.Make(String)
 
 
 # 2240 "setup.ml"
 module BaseContext = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseContext.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseContext.ml"
 
   open OASISContext
 
 end
 
 module BaseMessage = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseMessage.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseMessage.ml"
 
   (** Message to user, overrid for Base
       @author Sylvain Le Gall
 end
 
 module BaseEnv = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseEnv.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseEnv.ml"
 
   open OASISGettext
   open OASISUtils
 end
 
 module BaseArgExt = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseArgExt.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseArgExt.ml"
 
   open OASISUtils
   open OASISGettext
 end
 
 module BaseCheck = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseCheck.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseCheck.ml"
 
   open BaseEnv
   open BaseMessage
 end
 
 module BaseOCamlcConfig = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseOCamlcConfig.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseOCamlcConfig.ml"
 
 
   open BaseEnv
 end
 
 module BaseStandardVar = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseStandardVar.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseStandardVar.ml"
 
 
   open OASISGettext
 end
 
 module BaseFileAB = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseFileAB.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseFileAB.ml"
 
   open BaseEnv
   open OASISGettext
 end
 
 module BaseLog = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseLog.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseLog.ml"
 
   open OASISUtils
 
 end
 
 module BaseBuilt = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseBuilt.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseBuilt.ml"
 
   open OASISTypes
   open OASISGettext
 end
 
 module BaseCustom = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseCustom.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseCustom.ml"
 
   open BaseEnv
   open BaseMessage
 end
 
 module BaseDynVar = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseDynVar.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseDynVar.ml"
 
 
   open OASISTypes
 end
 
 module BaseTest = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseTest.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseTest.ml"
 
   open BaseEnv
   open BaseMessage
 end
 
 module BaseDoc = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseDoc.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseDoc.ml"
 
   open BaseEnv
   open BaseMessage
 end
 
 module BaseSetup = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/base/BaseSetup.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/base/BaseSetup.ml"
 
   open BaseEnv
   open BaseMessage
 
 # 4480 "setup.ml"
 module InternalConfigurePlugin = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/plugins/internal/InternalConfigurePlugin.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/plugins/internal/InternalConfigurePlugin.ml"
 
   (** Configure using internal scheme
       @author Sylvain Le Gall
 end
 
 module InternalInstallPlugin = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/plugins/internal/InternalInstallPlugin.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/plugins/internal/InternalInstallPlugin.ml"
 
   (** Install using internal scheme
       @author Sylvain Le Gall
 
 # 5233 "setup.ml"
 module CustomPlugin = struct
-(* # 21 "/home/jun/.share/projects/externals/oasis/_build/src/plugins/custom/CustomPlugin.ml" *)
+# 21 "/mnt/home/jun/.opam/system/build/oasis.0.3.0/src/plugins/custom/CustomPlugin.ml"
 
   (** Generate custom configure/build/doc/test/install system
       @author
           ocaml_version = None;
           findlib_version = None;
           name = "spotinstall";
-          version = "1.0.0";
+          version = "1.0.1";
           license =
             OASISLicense.DEP5License
               (OASISLicense.DEP5Unit
           };
      oasis_fn = Some "_oasis";
      oasis_version = "0.3.0";
-     oasis_digest = Some "\197\133\157-\127\243fF\221\128\207\181\171B&\196";
+     oasis_digest = Some "\158\223\232\189&Y*Xc\001\003c\173g~\146";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false;