Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Put a built version in release #117

Open
SandiyosDev opened this issue Jul 21, 2024 · 4 comments
Open

Put a built version in release #117

SandiyosDev opened this issue Jul 21, 2024 · 4 comments

Comments

@SandiyosDev
Copy link

There are about a dozen issues on building with Bazel, make a release with prebuilt bins.

@philippgrundhuber
Copy link

You can solve the problem with building by changing following:
in the file WORKSPACE change the url in line 174 to
urls = ["https://sourceforge.net/projects/arma/files/retired/armadillo-9.900.1.tar.xz"],

The armadillo packaged got moved

@SandiyosDev
Copy link
Author

That wasn't the problem I encountered during building. Nor does your response directly address this issue.

@EPIGP
Copy link

EPIGP commented Oct 11, 2024

You can solve the problem with building by changing following: in the file WORKSPACE change the url in line 174 to urls = ["https://sourceforge.net/projects/arma/files/retired/armadillo-9.900.1.tar.xz"],

The armadillo packaged got moved

I want to comment here.

The file at

urls = ["https://sourceforge.net/projects/arma/files/retired/armadillo-9.900.1.tar.xz"]

had been changed to [armadillo-9.900.1.tar.xz.RETIRED].

You can try to download armadillo and load it locally.
You can change the [http_archive] as below

new_local_repository(
name = "armadillo_headers",
path = "/Users/EPIGP/Documents/visqol/third_party/armadillo",
build_file_content = """
cc_library(
name = "armadillo_header",
hdrs = glob(["include/**"]),
includes = ["include"],
visibility = ["//visibility:public"],
)
""",
)

''Path'' is where you put your unzipped file. (Remember to remove the top-level directory in the zip file so that the unzipped files are directly in the third_party/armadillo directory)

@SandiyosDev
Copy link
Author

SandiyosDev commented Oct 12, 2024

You can solve the problem with building by changing following: in the file WORKSPACE change the url in line 174 to urls = ["https://sourceforge.net/projects/arma/files/retired/armadillo-9.900.1.tar.xz"],

The armadillo packaged got moved

I want to comment here.

The file at

urls = ["https://sourceforge.net/projects/arma/files/retired/armadillo-9.900.1.tar.xz"]

had been changed to [armadillo-9.900.1.tar.xz.RETIRED].

You can try to download armadillo and load it locally.
You can change the [http_archive] as below

new_local_repository(
name = "armadillo_headers",
path = "/Users/EPIGP/Documents/visqol/third_party/armadillo",
build_file_content = """
cc_library(
name = "armadillo_header",
hdrs = glob(["include/**"]),
includes = ["include"],
visibility = ["//visibility:public"],
)
""",
)

''Path'' is where you put your unzipped file. (Remember to remove the top-level directory in the zip file so that the unzipped files are directly in the third_party/armadillo directory)

That wasn't the problem I encountered during building. Nor does your response directly address this issue.
If you'd like to add a comment, create your own issue, or create your own branch with the built version and make a pull.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants