annotate bootstrap @ 6070:8d1aecf2d2d6

of-sparsersb: Don't force -std=gnu++11. We prefer a newer standard now. * src/of-sparsersb-2-no-cxx11.patch: Add new patch. * dist-files.mk: Include new patch.
author Markus Mützel <markus.muetzel@gmx.de>
date Wed, 26 Jan 2022 19:14:36 +0100
parents 8e9dce45d941
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4979
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
1 #!/bin/bash
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
2 ## bootstrap script
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
3 ## Run this to generate the configure script
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
4
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
5 set -e # halt if unhandled error
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
6 aclocal
8e9dce45d941 * bootstrap: new file
John Donoghue <john.donoghue@ieee.org>
parents:
diff changeset
7 autoconf # generate configure script