<feed xmlns='http://www.w3.org/2005/Atom'>
<title>sail/src/Makefile-non-opam, branch sail2</title>
<subtitle>Formal specification language for ISAs</subtitle>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/'/>
<entry>
<title>Cleanup src Makefile</title>
<updated>2019-02-08T23:12:18+00:00</updated>
<author>
<name>Alasdair</name>
</author>
<published>2019-02-08T23:06:47+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=ee2eb2bad10ad8d7c730538f239474ce103efa16'/>
<id>ee2eb2bad10ad8d7c730538f239474ce103efa16</id>
<content type='text'>
When we are building from git, we put the git version info in manifest.ml, so
we'll get the following from sail -v

Sail $last_git_tag ($branch @ $commit_sha)

If we are be built from opam we can't assume we are in a git repository as
opam downloads specific tags as tarballs, so instead we check for the precense
of SHARE_DIR which is set by our opam build script, and instead output

Sail 0.8 (sail2 @ opam)

which is the next git tag (current is 0.7.1, this must be updated by hand),
the branch name from which opam releases are generated and then opam rather
than the commit SHA.

I also removed the Makefile-non-opam file as it's bitrotted and unused
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
When we are building from git, we put the git version info in manifest.ml, so
we'll get the following from sail -v

Sail $last_git_tag ($branch @ $commit_sha)

If we are be built from opam we can't assume we are in a git repository as
opam downloads specific tags as tarballs, so instead we check for the precense
of SHARE_DIR which is set by our opam build script, and instead output

Sail 0.8 (sail2 @ opam)

which is the next git tag (current is 0.7.1, this must be updated by hand),
the branch name from which opam releases are generated and then opam rather
than the commit SHA.

I also removed the Makefile-non-opam file as it's bitrotted and unused
</pre>
</div>
</content>
</entry>
<entry>
<title>Update license headers for Sail source</title>
<updated>2017-12-05T15:57:30+00:00</updated>
<author>
<name>Alasdair Armstrong</name>
</author>
<published>2017-12-05T15:57:30+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=631373a7694db8a789a7d9efbdcf16d17aa1ce98'/>
<id>631373a7694db8a789a7d9efbdcf16d17aa1ce98</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fix headers</title>
<updated>2017-02-03T14:54:22+00:00</updated>
<author>
<name>Peter Sewell</name>
</author>
<published>2017-02-03T14:54:22+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=fb8ca50af3bb9392b66505b28ba718c90f8ab0ab'/>
<id>fb8ca50af3bb9392b66505b28ba718c90f8ab0ab</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Merge.</title>
<updated>2014-10-08T15:29:17+00:00</updated>
<author>
<name>Stephen Kell</name>
</author>
<published>2014-10-08T15:29:17+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=0c5cebb6ec19d37915cf236da1d7407ac97b26c3'/>
<id>0c5cebb6ec19d37915cf236da1d7407ac97b26c3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Tweak Makefile to use absolute or relative paths consistently, fixing make behaviour that appeared to ignore ocaml depfiles.</title>
<updated>2014-10-08T15:27:04+00:00</updated>
<author>
<name>Stephen Kell</name>
</author>
<published>2014-10-08T15:27:04+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=5bb5968d91f87d891305b1e53dee7322667f4faf'/>
<id>5bb5968d91f87d891305b1e53dee7322667f4faf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Getting closer with non-opam makefile</title>
<updated>2014-10-06T16:41:42+00:00</updated>
<author>
<name>Kathy Gray</name>
</author>
<published>2014-10-06T16:41:42+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=4f720a3ed86af52288fe614296678ccb7a4777f6'/>
<id>4f720a3ed86af52288fe614296678ccb7a4777f6</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add alternative non-opam Makefile in src/.</title>
<updated>2014-10-04T16:18:48+00:00</updated>
<author>
<name>Stephen Kell</name>
</author>
<published>2014-10-04T16:18:48+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/sail/commit/?id=f2b2b02654caf2e11ccef6cb459ecd27611c23a4'/>
<id>f2b2b02654caf2e11ccef6cb459ecd27611c23a4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
