diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-20 23:10:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-20 23:10:21 -0700 |
commit | 3dc479ae544db8bc9224f183f33cb3e16fe2daac (patch) | |
tree | 3133a5b3f3b33096860c585dc2b557107c22a982 /src/driver | |
parent | f9a884706ac7e0f92db5e6cb16811d543a98ac28 (diff) | |
download | open-axiom-3dc479ae544db8bc9224f183f33cb3e16fe2daac.tar.gz |
fix sbcl 1.5.9 build (#16)
* Fix build with SBCL-1.5.9
* Fix dynamic loading of open-axiom-core.so
Diffstat (limited to 'src/driver')
-rw-r--r-- | src/driver/main.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/driver/main.cc b/src/driver/main.cc index 3d8431b6..cf9233bc 100644 --- a/src/driver/main.cc +++ b/src/driver/main.cc @@ -64,7 +64,7 @@ namespace OpenAxiom { augment_variable(const char* name, const char* value) { const char* oldval = oa_getenv(name); const int value_length = strlen(value); - const int oldval_length = oldval == 0 ? 0 : strlen(oldval); + const int oldval_length = oldval == nullptr ? 0 : strlen(oldval); const int newval_length = value_length + 1 + oldval_length; char* newval = (char*) malloc(newval_length + 1); @@ -86,7 +86,7 @@ namespace OpenAxiom { augment_variable("BIBINPUTS", oa_concatenate_string(sysdir, OPENAXIOM_BIBINPUTS_PATH)); const char* ldd_path = option_value(command, "--syslib"); - if (ldd_path == 0) + if (ldd_path == nullptr) ldd_path = oa_concatenate_string(sysdir, "/lib"); #ifdef OPENAXIOM_MS_WINDOWS_HOST augment_variable("PATH", ldd_path); |