Comments (10)
Can you name some of them? there should be one -- like 'texlive-extras' or
some such...
but maybe its easier just to read the HTML version for now? (could be
easier to fix this problem in person?)
On Fri, Aug 7, 2015 at 3:33 AM, Chris Tetreault [email protected]
wrote:
When building the book, various .sty files are missing. I've been
downloading them one-by-one until make stops failing, but I've downloaded
11 so far, and there is no end in sight.Is there a list of LaTeX packages required for the book to build? Is there
some sort of combined package or distribution that I can download that has
all the dependencies? Failing that, can we get the .sty files added to
the repository (barring licensing issues), so that we can just call make
and have it work?—
Reply to this email directly or view it on GitHub
#16.
Ranjit.
from liquidhaskell-tutorial.
I was working on adding a "building the book" section to the readme. I figure it would be good to have in there since we've had so many discussions about it already.
Additionally, the .pdf is in the repo. But if I'm going to make formatting changes and such, I'd like to be able to build the updates and make sure everything looks right.
The following files are the ones I got through before I got fed up:
- xifthen.sty
- imftarg.sty
- titlesec.sty
- titletoc.sty
- chngpage.sty
- paralist.sty
- optparams.sty
- placeins.sty
- comment.sty
- thmtools.sty
- thmpatch.sty
If it's just a texlive addon that has this stuff I'll see if I can't figure out which one. CTAN kept claiming that these were in texlive.
from liquidhaskell-tutorial.
Yes, look for texlive and maybe texlive-extras.
also don't install them one by one -- usually there is a gigantic ubuntu
package
with the lot (I think texlive or texlive extra or some such.)
On Fri, Aug 7, 2015 at 8:55 PM, Chris Tetreault [email protected]
wrote:
I was working on adding a "building the book" section to the readme. I
figure it would be good to have in there since we've had so many
discussions about it already.Additionally, the .pdf is in the repo. But if I'm going to make formatting
changes and such, I'd like to be able to build the updates and make sure
everything looks right.The following files are the ones I got through before I got fed up:
- xifthen.sty
- imftarg.sty
- titlesec.sty
- titletoc.sty
- chngpage.sty
- paralist.sty
- optparams.sty
- placeins.sty
- comment.sty
- thmtools.sty
- thmpatch.sty
If it's just a texlive addon that has this stuff I'll see if I can't
figure out which one. CTAN kept claiming that these were in texlive.—
Reply to this email directly or view it on GitHub
#16 (comment)
.
Ranjit.
from liquidhaskell-tutorial.
texlive-latex and texlive-latex extra.
On Fri, Aug 7, 2015 at 9:17 PM, Ranjit Jhala [email protected] wrote:
Yes, look for texlive and maybe texlive-extras.
also don't install them one by one -- usually there is a gigantic ubuntu
package
with the lot (I think texlive or texlive extra or some such.)On Fri, Aug 7, 2015 at 8:55 PM, Chris Tetreault [email protected]
wrote:I was working on adding a "building the book" section to the readme. I
figure it would be good to have in there since we've had so many
discussions about it already.Additionally, the .pdf is in the repo. But if I'm going to make
formatting changes and such, I'd like to be able to build the updates and
make sure everything looks right.The following files are the ones I got through before I got fed up:
- xifthen.sty
- imftarg.sty
- titlesec.sty
- titletoc.sty
- chngpage.sty
- paralist.sty
- optparams.sty
- placeins.sty
- comment.sty
- thmtools.sty
- thmpatch.sty
If it's just a texlive addon that has this stuff I'll see if I can't
figure out which one. CTAN kept claiming that these were in texlive.—
Reply to this email directly or view it on GitHub
#16 (comment)
.Ranjit.
Ranjit.
from liquidhaskell-tutorial.
The following two packages seem to get me through the "missing .sty file" section:
- texlive-latex-extra
- texlive-fonts-extra
Now I'm getting an error:
! Undefined control sequence.
<recently read> \tightlist
l.456 \tightlist
I feel like this might be something we'd need to work out in person. From looking at the Makefile (lines 1 and 2 in particular) I feel like the hidden dependency might be RanjitsLaptop
.
This is certainly not an emergency though. I'll just assume my formatting changes don't look strange for the time being.
from liquidhaskell-tutorial.
hmmm. wonder what thats about, can you see this:
On Fri, Aug 7, 2015 at 9:40 PM, Chris Tetreault [email protected]
wrote:
The following two packages seem to get me through the "missing .sty file"
section:
- texlive-latex-extra
- texlive-fonts-extra
Now I'm getting an error:
! Undefined control sequence.
\tightlistl.456 \tightlist
I feel like this might be something we'd need to work out in person. From
looking at the Makefile (lines 1 and 2 in particular) I feel like the
hidden dependency might be RanjitsLaptop.This is certainly not an emergency though. I'll just assume my formatting
changes don't look strange for the time being.—
Reply to this email directly or view it on GitHub
#16 (comment)
.
Ranjit.
from liquidhaskell-tutorial.
actually, looks like this is more relevant:
sigh. latex & pandoc!
On Fri, Aug 7, 2015 at 10:07 PM, Ranjit Jhala [email protected] wrote:
hmmm. wonder what thats about, can you see this:
On Fri, Aug 7, 2015 at 9:40 PM, Chris Tetreault [email protected]
wrote:The following two packages seem to get me through the "missing .sty file"
section:
- texlive-latex-extra
- texlive-fonts-extra
Now I'm getting an error:
! Undefined control sequence.
\tightlistl.456 \tightlist
I feel like this might be something we'd need to work out in person. From
looking at the Makefile (lines 1 and 2 in particular) I feel like the
hidden dependency might be RanjitsLaptop.This is certainly not an emergency though. I'll just assume my formatting
changes don't look strange for the time being.—
Reply to this email directly or view it on GitHub
#16 (comment)
.Ranjit.
Ranjit.
from liquidhaskell-tutorial.
I made the change locally and it builds now. I can go ahead and submit a pull request for this.
from liquidhaskell-tutorial.
OK, pull request opened (#17). After it gets merged, I vote this issue gets closed.
from liquidhaskell-tutorial.
Fixed by #17
from liquidhaskell-tutorial.
Related Issues (20)
- Regarding reverse in Ch 8: Sets HOT 2
- How to workaround using Stack for building html HOT 7
- apparent typo in tutorial under "Testing Values: Booleans and Propositions"
- Can't even get started because of build issues HOT 5
- there is an extra ")" at the end of this line
- Numbering the exercises HOT 1
- Question about Chapter 5.3: delmin HOT 2
- Links to subsections don't work for me HOT 2
- Syntax of refinement types HOT 4
- Chapter 8 exercise "reverse" HOT 8
- Instructions for running LiquidHaskell HOT 2
- Figures 1.4 and 1.5 in Chapter 12
- Chapter 12 Exercise InsertRight HOT 4
- Current HEAD of main fails to build HOT 4
- Liquid Type Mismatch on Initial Build HOT 2
- Passing -fdefer-type-errors to GHC causes confusing errors from LH HOT 3
- Text description of "null" in Chapter 6 is reversed HOT 1
- Link is no longer available HOT 1
- Trouble with Chapter 11 HOT 3
- About Lemmas and other questions HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from liquidhaskell-tutorial.