Skip to content

building with make fails when the path of source directory contains whitespace #70

Open

Description

@LuKuangChen

Path: /home/lukc/white space/Grift/src/backend-c/runtime

The most interesting part in error:

machine `space/Grift/src/backend-c/runtime/boehm-gc' not recognized

Full error:

cd src/backend-c/runtime/; make
make[1]: Entering directory '/home/lukc/white space/Grift/src/backend-c/runtime'
PWD=`pwd`; cd boehm-gc; ./configure --prefix=/home/lukc/white space/Grift/src/backend-c/runtime/boehm-gc-install
configure: WARNING: you should use --build, --host, --target
configure: WARNING: invalid host type: space/Grift/src/backend-c/runtime/boehm-gc-install
checking build system type... Invalid configuration `space/Grift/src/backend-c/runtime/boehm-gc-install': machine `space/Grift/src/backend-c/runtime/boehm-gc' not recognized
configure: error: /bin/bash ./config.sub space/Grift/src/backend-c/runtime/boehm-gc-install failed
Makefile:4: recipe for target 'boehm-gc-install' failed
make[1]: *** [boehm-gc-install] Error 1
make[1]: Leaving directory '/home/lukc/white space/Grift/src/backend-c/runtime'
Makefile:2: recipe for target 'all' failed
make: *** [all] Error 2

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions