Skip to content
This repository was archived by the owner on Oct 18, 2020. It is now read-only.

Commit 357d752

Browse files
authored
Merge pull request #207 from TheLortex/with-flags-files
Expose flags though files and enable the use of -runtime-variant
2 parents 949fd83 + 7fc04e2 commit 357d752

File tree

13 files changed

+34
-0
lines changed

13 files changed

+34
-0
lines changed

mirage-xen-ocaml.opam

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,10 @@ depends: [
1313
"ocaml-src"
1414
"ocamlbuild" {build}
1515
]
16+
substs: [
17+
"xen-ocaml/flags/cflags.tmp"
18+
"xen-ocaml/flags/libs.tmp"
19+
]
1620
available: os = "linux"
1721
build: [make "xen-ocaml-build"]
1822
install: [make "xen-ocaml-install" "PREFIX=%{prefix}%"]

mirage-xen-posix.opam

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,12 @@ depends: [
99
"mirage-xen-minios" {>= "0.7.0"}
1010
"conf-pkg-config"
1111
]
12+
substs: [
13+
"xen-posix/flags/posix-cflags.tmp"
14+
"xen-posix/flags/posix-libs.tmp"
15+
"xen-posix/flags/minios-cflags.tmp"
16+
"xen-posix/flags/minios-libs.tmp"
17+
]
1218
available: os = "linux"
1319
build: [make "xen-posix-build"]
1420
install: [make "xen-posix-install" "PREFIX=%{prefix}%"]

xen-ocaml/build.sh

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,3 +141,8 @@ esac
141141
CFLAGS="$CFLAGS -I../../byterun"
142142
cd otherlibs/bigarray && make CFLAGS="${CFLAGS} -I../unix -DIN_OCAML_BIGARRAY" ${BIGARRAY_OBJ}
143143
ar rcs ../../libxenotherlibs.a ${BIGARRAY_OBJ}
144+
145+
cd ../../..
146+
147+
echo "($(pkg-config libminios-xen --libs)$(pkg-config openlibm --libs)$(cat flags/libs.tmp))" > flags/libs
148+
echo "($(pkg-config libminios-xen --cflags)$(pkg-config openlibm --cflags)$(cat flags/cflags.tmp))" > flags/cflags

xen-ocaml/flags/cflags.tmp.in

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
-I%{prefix}%/include/mirage-xen-ocaml/include -I%{prefix}%/include/mirage-xen-posix/include

xen-ocaml/flags/libs.tmp.in

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
%{mirage-xen-ocaml:lib}%/libxenasmrun.a %{mirage-xen-ocaml:lib}%/libxenotherlibs.a %{mirage-xen-posix:lib}%/libxenposix.a

xen-ocaml/install.sh

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,10 @@ mkdir -p $odir/mirage-xen-ocaml
2323
#We dont install the bytecode version yet
2424
#cd ocaml-src/byterun && make install LIBDIR="${pwd}/obj" BINDIR="${pwd}/obj"
2525
cp ocaml-src/$ASMRUN_FOLDER/libasmrun.a $odir/mirage-xen-ocaml/libxenasmrun.a
26+
ln -s $odir/mirage-xen-ocaml/libxenasmrun.a $odir/ocaml/libasmrunxen.a
2627
cp ocaml-src/libxenotherlibs.a $odir/mirage-xen-ocaml/libxenotherlibs.a
28+
cp flags/cflags $odir/mirage-xen-ocaml/
29+
cp flags/libs $odir/mirage-xen-ocaml/
2730
touch $odir/mirage-xen-ocaml/META
2831
mkdir -p $odir/pkgconfig
2932
cp mirage-xen-ocaml.pc $odir/pkgconfig/mirage-xen-ocaml.pc

xen-ocaml/uninstall.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@ odir=$prefix/lib
99
rm -f $odir/pkgconfig/mirage-xen-ocaml.pc
1010
rm -rf $odir/mirage-xen-ocaml
1111
rm -rf $prefix/include/mirage-xen-ocaml
12+
rm -f $odir/ocaml/libasmrunxen.a

xen-posix/build.sh

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,3 +37,8 @@ CFLAGS="$EXTRA_CFLAGS ${CI_CFLAGS} -I ${PWD}/include/ -I ${PWD}/src/ \
3737

3838
${CC} -c ${CFLAGS} src/*.c
3939
ar rcs libxenposix.a mini_libc.o fmt_fp.o dtoa.o strtol.o
40+
41+
echo "($(pkg-config libminios-xen --libs)$(pkg-config openlibm --libs)$(cat flags/minios-libs.tmp))" > flags/minios-libs
42+
echo "($(pkg-config libminios-xen --cflags)$(pkg-config openlibm --cflags)$(cat flags/minios-cflags.tmp))" > flags/minios-cflags
43+
echo "($(pkg-config libminios-xen --libs)$(pkg-config openlibm --libs)$(cat flags/posix-libs.tmp))" > flags/posix-libs
44+
echo "($(pkg-config libminios-xen --cflags)$(pkg-config openlibm --cflags)$(cat flags/posix-cflags.tmp))" > flags/posix-cflags
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
-D__XEN_INTERFACE_VERSION__=0x00030205 -D__INSIDE_MINIOS__ -I%{prefix}%/include/mirage-xen-posix/include

xen-posix/flags/minios-libs.tmp.in

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
%{mirage-xen-posix:lib}%/libxenposix.a

0 commit comments

Comments
 (0)