anil.recoil.org / opam-repository
this repo has no description
fork atom

hol_light: fix wrong paths in hol.sh, copy src to lib

This patch fixes hidden bugs in hol_light's opam which did not reveal when installing hol_light locally,
but appear when installed from remote git.
Also, this patch copies the source files in the build directory to hol_light:lib because all .ml files
can actually matter when hol.sh is used in HOL Light.
My previous patch was my first contribution to OPAM, so these points were missed. :/
Since I didn't publicly announce the new HOL Light package, and this is a bug fix in its OPAM configuration,
I believe (hope) incrementing its version to 3.0.1 is not necessary.

Juneyoung Lee 0572707c b8e118d3

options
unified split
Changed files
+6 -7
packages
hol_light
hol_light.3.0.0
opam
+6 -7
packages/hol_light/hol_light.3.0.0/opam 
···

       
58

       
 

       
build: [


     

       
59

       
 

       
  [make] {!hol_light_module:installed}


     

       
60

       
 

       
  [make "HOLLIGHT_USE_MODULE=1"] {hol_light_module:installed}


     

       

       

       
     

       

       

       
     

       

       

       
     

       
61

       
 

       
]


     

       
62

       
 

       
install: [


     

       

       

       
     

       

       

       
     

       
63

       
 

       
  ["cp" "hol.sh" "%{bin}%/hol.sh"]


     

       
64

       
-

       
  


     

       
65

       
-

       
  ["mkdir" "-p" "%{hol_light:lib}%"] {hol_light_module:installed}


     

       
66

       
-

       
  ["cp" "hol_lib.cma" "hol_lib.cmi" "hol_lib.cmo" "hol_lib.cmx" "hol_lib.cmxa" "hol_lib.o" "hol_lib.a"


     

       
67

       
-

       
        "bignum.cmi" "bignum.cmo" "bignum.cmx" "bignum.o"


     

       
68

       
-

       
        "hol_loader.cmi" "hol_loader.cmo" "hol_loader.cmx" "hol_loader.o" "META"


     

       
69

       
-

       
        "%{hol_light:lib}%"] {hol_light_module:installed}


     

       
70

       
 

       
]


     

       
71

       
 

       
remove: [


     

       
72

       
 

       
  ["rm" "%{bin}%/hol.sh"]


     

       
73

       
-

       
  ["rm" "-rf" "%{hol_light:lib}%"] {hol_light_module:installed}


     

       
74

       
 

       
]


     

       
75

       
 

       
extra-source "META" {


     

       
76

       
 

       
  src: "https://gist.githubusercontent.com/aqjune/4b77edcc29faeebf15fcd4949f27d7ae/raw/3ff64fa63304e1944e4fc6fef8c7a7a5a2009bc2/META"


     
···

       
58

       
 

       
build: [


     

       
59

       
 

       
  [make] {!hol_light_module:installed}


     

       
60

       
 

       
  [make "HOLLIGHT_USE_MODULE=1"] {hol_light_module:installed}


     

       
61

       
+

       
  ["sh" "-c" "sed \"s^%{hol_light:build}%^%{hol_light:lib}%^g\" hol.sh >hol_new.sh"]


     

       
62

       
+

       
  ["mv" "hol_new.sh" "hol.sh"]


     

       
63

       
+

       
  ["chmod" "+x" "hol.sh"]


     

       
64

       
 

       
]


     

       
65

       
 

       
install: [


     

       
66

       
+

       
  ["mkdir" "-p" "%{hol_light:lib}%"]


     

       
67

       
+

       
  ["cp" "-r" "." "%{hol_light:lib}%"]


     

       
68

       
 

       
  ["cp" "hol.sh" "%{bin}%/hol.sh"]


     

       

       

       
     

       

       

       
     

       

       

       
     

       

       

       
     

       

       

       
     

       

       

       
     

       
69

       
 

       
]


     

       
70

       
 

       
remove: [


     

       
71

       
 

       
  ["rm" "%{bin}%/hol.sh"]


     

       
72

       
+

       
  ["rm" "-rf" "%{hol_light:lib}%"]


     

       
73

       
 

       
]


     

       
74

       
 

       
extra-source "META" {


     

       
75

       
 

       
  src: "https://gist.githubusercontent.com/aqjune/4b77edcc29faeebf15fcd4949f27d7ae/raw/3ff64fa63304e1944e4fc6fef8c7a7a5a2009bc2/META"