From 1856627031e09df3ee36ab4e0a3be8e79be463d1 Mon Sep 17 00:00:00 2001 From: Leonid Ryzhyk Date: Wed, 29 Jul 2020 08:42:53 -0700 Subject: [PATCH] java_api.md: "$DDLOG" -> "$DDLOG_HOME". --- doc/java_api.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/java_api.md b/doc/java_api.md index 9db73ee3b..3cb6e2c82 100644 --- a/doc/java_api.md +++ b/doc/java_api.md @@ -34,11 +34,11 @@ cargo build --features=flatbuf --release ``` Link the compiled DDlog program along with the DDlog Java API bindings in a -single dynamic library. Assuming the `$DDLOG` environment variable points to +single dynamic library. Assuming the `$DDLOG_HOME` environment variable points to the directory where DDlog is installed: ``` -cc -shared -fPIC -I${JAVA_HOME}/include -I${JAVA_HOME}/include/${JDK_OS} -I. -I${DDLOG}/lib ${DDLOG}/java/ddlogapi.c -Ltarget/release/ -lredist_ddlog -o libddlogapi.so +cc -shared -fPIC -I${JAVA_HOME}/include -I${JAVA_HOME}/include/${JDK_OS} -I. -I${DDLOG_HOME}/lib ${DDLOG_HOME}/java/ddlogapi.c -Ltarget/release/ -lredist_ddlog -o libddlogapi.so ``` (on a Mac, use the `.dylib` extension instead of `.so`).