Building ATS2-Postiats-0.0.7 on OSX

Google Group
1

I haven’t tried this but generally just doing e.g.:
export CFLAGS=…
export LDFLAGS=…
make

will work with most makefiles.

Brandon Barker
brandon…@gmail.comOn Sat, Apr 19, 2014 at 3:12 AM, Shmulik Regev shmu...@gmail.com wrote:

Hi,

While trying to build ATS2-Postiats-0.0.7 I encountered a problem with gmp
include and library path. The library was missing from my machine, so I used
macports to install it. Macports installs into /opt/local . I noticed no
single place to add include and library paths to the makefiles so I patched
them manually. I recommend however that either using configure, or otherwise
through some customization of the makefiles this process can be eased.

For reference these are the (ugly and bruteforce) changes I made

./src/CBOOT/Makefile:GCFLAG=-I/opt/local/include -L/opt/local/lib
./src/CBOOT/Makefile: $(CCOMP) -O2 -I . $(GCFLAG) -o $@
ccomp/runtime/ats_prelude.c $^ -I/opt/local/include -L/opt/local/lib -lgmp
$(LIBGC)
./src/CBOOT/Makefile:%_sats.o: %_sats.c ; $(CCOMP) -O2 -I . -I
./ccomp/runtime -I/opt/local/include -L/opt/local/lib -c -o $@ $<
./src/CBOOT/Makefile:%_dats.o: %dats.c ; $(CCOMP) -O2 -I . -I
./ccomp/runtime -I/opt/local/include -L/opt/local/lib -c -o $@ $<
./src/CBOOT/Makefile:libc%.o : libc/%.c ; $(CCOMP) -I . -I ./ccomp/runtime
-I/opt/local/include -L/opt/local/lib -c -o $@ $<
./src/Makefile: $(ATSCC) $(ATSGCFLAG) $(ATSCCFLAGS) -I/opt/local/include
-L/opt/local/lib -o $@ pats_main_dats.o $(OBJECTS) -lats -lgmp

Cheers,
Shmul

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/01a5204f-d545-4913-a794-3d5386b7af4a%40googlegroups.com.