Merge pull request #411 from mato/fix-opam-install

OPAM: Fix "make opam-install-%"
Solo5 · Sep 19, 2019 · c9786d8 · c9786d8
2 parents f153efd + 24bd854
commit c9786d8
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/opam/solo5-bindings-genode.opam b/opam/solo5-bindings-genode.opam
@@ -11,7 +11,7 @@ build: [
   ["./configure.sh"]
   [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN="]
 ]
-install: [make "V=1" "install-opam-genode" "PREFIX=%{prefix}%"]
+install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "install-opam-genode" "PREFIX=%{prefix}%"]
 remove: [
   ["touch" "./Makeconf"]
   [make "V=1" "uninstall-opam-genode" "PREFIX=%{prefix}%"]

diff --git a/opam/solo5-bindings-hvt.opam b/opam/solo5-bindings-hvt.opam
@@ -13,7 +13,7 @@ build: [
   ["./configure.sh"]
   [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE="]
 ]
-install: [make "V=1" "install-opam-hvt" "PREFIX=%{prefix}%"]
+install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-hvt" "PREFIX=%{prefix}%"]
 remove: [
   ["touch" "./Makeconf"]
   [make "V=1" "uninstall-opam-hvt" "PREFIX=%{prefix}%"]

diff --git a/opam/solo5-bindings-muen.opam b/opam/solo5-bindings-muen.opam
@@ -13,7 +13,7 @@ build: [
   ["./configure.sh"]
   [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE="]
 ]
-install: [make "V=1" "install-opam-muen" "PREFIX=%{prefix}%"]
+install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "install-opam-muen" "PREFIX=%{prefix}%"]
 remove: [
   ["touch" "./Makeconf"]
   [make "V=1" "uninstall-opam-muen" "PREFIX=%{prefix}%"]

diff --git a/opam/solo5-bindings-spt.opam b/opam/solo5-bindings-spt.opam
@@ -13,7 +13,7 @@ build: [
   ["./configure.sh"]
   [make "V=1" "CONFIG_HVT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE="]
 ]
-install: [make "V=1" "install-opam-spt" "PREFIX=%{prefix}%"]
+install: [make "V=1" "CONFIG_HVT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-spt" "PREFIX=%{prefix}%"]
 remove: [
   ["touch" "./Makeconf"]
   [make "V=1" "uninstall-opam-spt" "PREFIX=%{prefix}%"]

diff --git a/opam/solo5-bindings-virtio.opam b/opam/solo5-bindings-virtio.opam
@@ -13,7 +13,7 @@ build: [
   ["./configure.sh"]
   [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE="]
 ]
-install: [make "V=1" "install-opam-virtio" "PREFIX=%{prefix}%"]
+install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-virtio" "PREFIX=%{prefix}%"]
 remove: [
   ["touch" "./Makeconf"]
   [make "V=1" "uninstall-opam-virtio" "PREFIX=%{prefix}%"]