search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Fix the bison flag check #311

Closed gtrepta closed 2 years ago

gtrepta commented 2 years ago

There's a \n escape sequence in an echo command in the Makefile, but echo needs -e passed in to properly evaluate it, and it's missing. This fixes that.

SchmErik commented 2 years ago

@gtrepta I think I'm getting a little tunnel-visioned but I'm not sure why this is failing. I can't reproduce this locally and I'm using these steps to build/install bison... Any ideas??

SchmErik commented 2 years ago

Ah, I think I found the issue: the docker image from K installs bison using apt so it's outdated. The RUN command should probably go into the K repo's dockerfile.

SchmErik commented 2 years ago

This PR got a little messy. See #317 closing...