This repository was archived by the owner on Oct 18, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 8 files changed +14
-13
lines changed
Expand file tree Collapse file tree 8 files changed +14
-13
lines changed Original file line number Diff line number Diff line change @@ -144,5 +144,5 @@ ar rcs ../../libxenotherlibs.a ${BIGARRAY_OBJ}
144144
145145cd ../../..
146146
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
147+ echo " ($( cat flags/ libs.tmp ) -cclib \" $( pkg-config libminios-xen openlibm --libs | xargs ) \" )" > flags/libs
148+ echo " ($( pkg-config libminios-xen openlibm --cflags | xargs ) $( cat flags/cflags.tmp) )" > flags/cflags
Original file line number Diff line number Diff line change 1- %{mirage-xen-ocaml:lib}%/libxenasmrun .a %{mirage-xen-ocaml:lib}%/libxenotherlibs.a %{mirage-xen-posix:lib}%/libxenposix.a
1+ -I %{mirage-xen-ocaml:lib}% -cclib "%{mirage-xen-ocaml:lib}%/libasmrunxen .a %{mirage-xen-ocaml:lib}%/libxenotherlibs.a %{mirage-xen-posix:lib}%/libxenposix.a"
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ if [ "$prefix" = "" ]; then
55 prefix=` opam config var prefix`
66fi
77
8+ OCAML_LIB_DIR=$( ocamlopt -config )
89OCAMLOPT_VERSION=$( ocamlopt -version)
910echo Detected OCaml version $OCAMLOPT_VERSION
1011case $OCAMLOPT_VERSION in
@@ -22,8 +23,7 @@ odir=$prefix/lib
2223mkdir -p $odir /mirage-xen-ocaml
2324# We dont install the bytecode version yet
2425# cd ocaml-src/byterun && make install LIBDIR="${pwd}/obj" BINDIR="${pwd}/obj"
25- 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
26+ cp ocaml-src/$ASMRUN_FOLDER /libasmrun.a $odir /mirage-xen-ocaml/libasmrunxen.a
2727cp ocaml-src/libxenotherlibs.a $odir /mirage-xen-ocaml/libxenotherlibs.a
2828cp flags/cflags $odir /mirage-xen-ocaml/
2929cp flags/libs $odir /mirage-xen-ocaml/
Original file line number Diff line number Diff line change @@ -8,6 +8,6 @@ Version: 1.0.0
88URL: https://github.com/mirage/mirage-platform/
99Description: OCaml runtime compiled for Mirage Xen
1010Cflags: -I${includedir}
11- Libs: ${libdir}/mirage-xen-ocaml/libxenasmrun .a ${libdir}/mirage-xen-ocaml/libxenotherlibs.a
11+ Libs: ${libdir}/mirage-xen-ocaml/libasmrunxen .a ${libdir}/mirage-xen-ocaml/libxenotherlibs.a
1212Requires: mirage-xen-posix
1313
Original file line number Diff line number Diff line change @@ -5,8 +5,9 @@ if [ "$prefix" = "" ]; then
55 prefix=` opam config var prefix`
66fi
77
8+ OCAML_LIB_DIR=$( opam config var stublibs)
89odir=$prefix /lib
910rm -f $odir /pkgconfig/mirage-xen-ocaml.pc
1011rm -rf $odir /mirage-xen-ocaml
1112rm -rf $prefix /include/mirage-xen-ocaml
12- rm -f $odir /ocaml /libasmrunxen.a
13+ rm -f $OCAML_LIB_DIR /libasmrunxen.a
Original file line number Diff line number Diff line change @@ -38,7 +38,7 @@ CFLAGS="$EXTRA_CFLAGS ${CI_CFLAGS} -I ${PWD}/include/ -I ${PWD}/src/ \
3838${CC} -c ${CFLAGS} src/* .c
3939ar rcs libxenposix.a mini_libc.o fmt_fp.o dtoa.o strtol.o
4040
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
41+ echo " (-cclib \" $( pkg-config libminios-xen openlibm --libs | xargs ) \" $( cat flags/minios-libs.tmp) )" > flags/minios-libs
42+ echo " ($( pkg-config libminios-xen openlibm --cflags | xargs ) $( cat flags/minios-cflags.tmp) )" > flags/minios-cflags
43+ echo " (-cclib \" $( pkg-config libminios-xen openlibm --libs | xargs ) \" $( cat flags/posix-libs.tmp) )" > flags/posix-libs
44+ echo " ($( pkg-config libminios-xen openlibm --cflags | xargs ) $( cat flags/posix-cflags.tmp) )" > flags/posix-cflags
Original file line number Diff line number Diff line change 1- %{mirage-xen-posix:lib}%/libxenposix.a
1+ -cclib %{mirage-xen-posix:lib}%/libxenposix.a
Original file line number Diff line number Diff line change 1- %{mirage-xen-posix:lib}%/libxenposix.a
1+ -cclib %{mirage-xen-posix:lib}%/libxenposix.a
You can’t perform that action at this time.
0 commit comments