Re: [racket-users] make extensions or replacements

2019-04-23 Thread William G Hatch
On Tue, Apr 16, 2019 at 04:55:49PM -0400, Hendrik Boom wrote: On Tue, Apr 16, 2019 at 10:13:47PM +0200, Jens Axel Søgaard wrote: Hav you tried the make library? https://docs.racket-lang.org/make/index.html?q=make If you like Racket's make library but want something a little more shell-like, I

Re: [racket-users] make extensions or replacements

2019-04-21 Thread Robby Findler
ICFP 2018 should be available to all (and other years too). It was paid for and I can get the PDF. Could you send me more info? Robby On Sun, Apr 21, 2019 at 12:53 PM Greg Hendershott wrote: > On Sat, Apr 20, 2019 at 12:02 PM Norman Gray > wrote: > > On 20 Apr 2019, at 1:11, 'John Clements' v

Re: [racket-users] make extensions or replacements

2019-04-21 Thread Greg Hendershott
On Sat, Apr 20, 2019 at 12:02 PM Norman Gray wrote: > On 20 Apr 2019, at 1:11, 'John Clements' via Racket Users wrote: > > > There’s a paper at the most recent ICFP from Simon Peyton Jones (et > > al., I’m guessing) on make languages, IIRC. > > Very interesting -- thanks! The paper is Andrey Mokh

Re: [racket-users] make extensions or replacements

2019-04-20 Thread Norman Gray
On 20 Apr 2019, at 1:11, 'John Clements' via Racket Users wrote: There’s a paper at the most recent ICFP from Simon Peyton Jones (et al., I’m guessing) on make languages, IIRC. Very interesting -- thanks! The paper is Andrey Mokhov, Neil Mitchell, and Simon Peyton Jones. 2018. Build System

Re: [racket-users] make extensions or replacements

2019-04-19 Thread 'John Clements' via Racket Users
There’s a paper at the most recent ICFP from Simon Peyton Jones (et al., I’m guessing) on make languages, IIRC. John > On Apr 16, 2019, at 2:09 PM, Greg Hendershott > wrote: > > I have a shallow understanding of GNU Make, which is only somewhat > less-shallow as a result of recently redesigni

Re: [racket-users] make extensions or replacements

2019-04-16 Thread Greg Hendershott
I have a shallow understanding of GNU Make, which is only somewhat less-shallow as a result of recently redesigning my blog to be Makefile-driven. In the process I learned to like using make variables. I learned that a variable can be populated from make functions like $(wildcard) $(patsubst) and

Re: [racket-users] make extensions or replacements

2019-04-16 Thread Hendrik Boom
On Tue, Apr 16, 2019 at 10:13:47PM +0200, Jens Axel Søgaard wrote: > Hav you tried the make library? > > https://docs.racket-lang.org/make/index.html?q=make Yes. That would work. And that's the kind of answer I was hoping for. I'd use the make/proc form after using some function calls (with

Re: [racket-users] make extensions or replacements

2019-04-16 Thread david
I think the tool to use depends on what you want to achieve =) Do you have an example of what you think is missing? I like the idea that maybe you want to make use racket to generate some Makefile's to your liking. Maybe using #lang scribble/text Best Regards, David On 2019-04-16 22:13, Hendr

Re: [racket-users] make extensions or replacements

2019-04-16 Thread Jens Axel Søgaard
Hav you tried the make library? https://docs.racket-lang.org/make/index.html?q=make Den tir. 16. apr. 2019 kl. 21.54 skrev : > Hendrik, > > What is that you are trying to do, maybe you are misunderstanding some > concept about make? > > It seems to me that the whole point of make is to "run a pr

Re: [racket-users] make extensions or replacements

2019-04-16 Thread Hendrik Boom
On Tue, Apr 16, 2019 at 09:54:03PM +0200, da...@erl.nu wrote: > Hendrik, > > What is that you are trying to do, maybe you are misunderstanding some > concept about make? > > It seems to me that the whole point of make is to "run a program" whenever > some of the files have changed. Yes, that par

Re: [racket-users] make extensions or replacements

2019-04-16 Thread david
Hendrik, What is that you are trying to do, maybe you are misunderstanding some concept about make? It seems to me that the whole point of make is to "run a program" whenever some of the files have changed. Regards, David On 2019-04-16 21:25, Hendrik Boom wrote: I'm sending this here, not

[racket-users] make extensions or replacements

2019-04-16 Thread Hendrik Boom
I'm sending this here, not because it's directly related to Racket, nor because i think you all are experts in make or GNU make, but because you are reasonable erudite in language appreciation. I, like many others, have been using a Makefile as a recipe to make a lot of files from other files.