21 lines
774 B
Diff
21 lines
774 B
Diff
diff --git a/freestanding/Makefile b/freestanding/Makefile
|
|
index f22d220d..4bb3ac57 100644
|
|
--- a/freestanding/Makefile
|
|
+++ b/freestanding/Makefile
|
|
@@ -1,6 +1,4 @@
|
|
-PKG_CONFIG_PATH := $(shell opam config var prefix)/lib/pkgconfig
|
|
-
|
|
-EXISTS := $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) pkg-config --exists ocaml-freestanding; echo $$?)
|
|
+EXISTS := $(shell pkg-config --exists ocaml-freestanding; echo $$?)
|
|
|
|
.PHONY: all clean
|
|
all: libtcpip_freestanding_stubs.a
|
|
@@ -10,7 +8,7 @@ libtcpip_freestanding_stubs.a:
|
|
touch $@
|
|
else
|
|
CC ?= cc
|
|
-FREESTANDING_CFLAGS := $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) pkg-config --cflags ocaml-freestanding)
|
|
+FREESTANDING_CFLAGS := $(shell pkg-config --cflags ocaml-freestanding)
|
|
CFLAGS := $(FREESTANDING_CFLAGS)
|
|
|
|
OBJS=checksum_stubs.o
|