How to build only a ThirdParty

Question

How to build only a ThirdParty

Behemoth-s opened this issue 4 years ago · comments

I was tring to build Mumps using coinbrew
./coinbrew build ThirdParty/Mumps --enable-msvc --verbosity=3 --build=x86_64-w64-mingw32 --prefix=dist/bonmin --build-dir=build/bonmin
and I got

Package will be built in /c/Personal/project/bonmin/build
Package will be installed to /c/Personal/project/bonmin/dist
Caching configuration options...
./coinbrew: line 1402: /c/Personal/project/bonmin/build/.config/ThirdParty/Mumps-master: No such file or directory

However, if I build a coin project dependent on Mumps，such as Ipopt.

./coinbrew build Ipopt --enable-msvc --verbosity=3 --build=x86_64-w64-mingw32 --prefix=dist/bonmin --build-dir=build/
bonmin

Mumps will be built successfully meantwhile.

Stefan Vigerske · Answer 1 · Wed May 20 2020 00:20:19 GMT+0800 (China Standard Time)

Probably that should be ThirdParty-Mumps instead of ThirdParty/Mumps.

The usefulness of coinbrew to build a project that has no dependencies is not clear to me, though.

Behemoth-s · Answer 2 · Wed May 20 2020 00:43:44 GMT+0800 (China Standard Time)

Probably that should be ThirdParty-Mumps instead of ThirdParty/Mumps.

The usefulness of coinbrew to build a project that has no dependencies is not clear to me, though.

ThirdParty-Mumps is recognized as a project name, still not work.
emmm, it seems not too much use， I just want to check if there is such a feature

Ted Ralphs · Answer 3 · Wed May 20 2020 11:21:58 GMT+0800 (China Standard Time)

I don't think there is any restriction to a specific list of projects. Anyone could make a project that would work with coinbrew, but it is assumed that the project has a file called Dependencies. At the moment, the non-existence of this file does cause an error, but I don't see why this needs to be the case. If someone wants to use coinbrew to fetch and build a single project, that should be fine. I will probably change that.

I thought of adding the ability to build a sequence of projects specified on the command line (sort of like specifying a list of dependencies yourself) and then it would actually be required to be able to build individual projects with no dependencies. Anyway, for now, it's not possible, but perhaps in the future.

Behemoth-s · Answer 4 · Wed May 20 2020 14:52:59 GMT+0800 (China Standard Time)

Thanks for explanation

…

On Wed, May 20, 2020 at 11:22 AM Ted Ralphs ***@***.***> wrote: I don't think there is any restriction to a specific list of projects. Anyone could make a project that would work with coinbrew, but it is assumed that the project has a file called Dependencies. I don't see any reason, actually why the non-existence of this file should cause an error, though. If someone wants to use coinbrew to fetch and build a single project, that should be fine. I thought of adding the ability to build a sequence of projects specified on the command line (sort of like specifying a list of dependencies yourself) and then it would actually be required to be able to build individual projects with no dependencies. Anyway, for now, it's not possible, but perhaps in the future. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#42 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADKH6YQR46ZQXUXMGMC6HFLRSNEGFANCNFSM4NFEX62A> .

Ted Ralphs · Answer 5 · Thu May 21 2020 23:32:04 GMT+0800 (China Standard Time)

Actually, I now realized that if you do --skip-dependencies, it should build even without a Dependencies file in the current version. I've already changed so that the file is not required in any case in my local version, but I'm not going to push that change until I do some more testing.

Ted Ralphs · Answer 6 · Sat May 23 2020 23:00:45 GMT+0800 (China Standard Time)

FYI, I just made a bunch of update to coinbrew and this behavior has now been changed. You can now build a project that doesn't have a Dependencies file.