Skip to content

Commit

Permalink
src: move vendor/htcl/ under comp/
Browse files Browse the repository at this point in the history
Similarly to Parsec, this code is practically only used in one spot, so it
might as well be maintained there. I don't even know what codebase HTcl is
a 'vendoring' *of* and it's dated to over 15 years ago at minimum, so it's
probably lost to history now... Just put it all together for clarity and ease
of development.

Signed-off-by: Austin Seipp <[email protected]>
  • Loading branch information
thoughtpolice committed Jul 20, 2024
1 parent c0b6fcf commit 462538b
Show file tree
Hide file tree
Showing 8 changed files with 6 additions and 7 deletions.
3 changes: 1 addition & 2 deletions src/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ all: install
install clean full_clean:
$(MAKE) -C vendor/stp PREFIX=$(PREFIX) $@
$(MAKE) -C vendor/yices PREFIX=$(PREFIX) $@
$(MAKE) -C vendor/htcl PREFIX=$(PREFIX) $@
$(MAKE) -C comp/HTcl PREFIX=$(PREFIX) $@
# we need to build targets from here sequentially, as they operate in the same workspace
$(MAKE) -C comp -j1 PREFIX=$(PREFIX) $@
$(MAKE) -C Libraries PREFIX=$(PREFIX) $@
Expand All @@ -68,4 +68,3 @@ install clean full_clean:
$(MAKE) -C bluetcl PREFIX=$(PREFIX) $@
$(MAKE) -C bluesim PREFIX=$(PREFIX) $@
$(MAKE) -C Verilator PREFIX=$(PREFIX) $@

4 changes: 2 additions & 2 deletions src/comp/.ghci
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,10 @@
-- Shared libraries and FFI bindings
:set -i../vendor/stp/include_hs
:set -i../vendor/yices/include_hs
:set -i../vendor/htcl
:set -iHTcl

:set -I/usr/include/tcl
:set -L../vendor/htcl
:set -LHTcl
:set -lhtcl

:set -L../vendor/stp/lib
Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
4 changes: 2 additions & 2 deletions src/comp/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ YICES_INC_FLAGS = -I../vendor/yices/include
YICES_LIB_FLAGS = -L../vendor/yices/lib -lyices

# HTCL
HTCL_HS = ../vendor/htcl
HTCL_HS = HTcl
HTCL_INC_FLAGS = -L$(HTCL_HS)
HTCL_LIB_FLAGS = -lhtcl

Expand Down Expand Up @@ -170,7 +170,7 @@ GHCINCLUDES = \
GHCTMP = '-tmpdir $(TMPDIR)'
# Default RTS flags for programs built with a Haskell main
# 256MB heap, 10MB stack, 1 second interval between heap profiles
# If you modify this, also update rts_opts in ../vendor/htcl/haskell.c
# If you modify this, also update rts_opts in HTcl/haskell.c
RTSFLAGS = "-with-rtsopts=-H256m -K10m -i1"
FVIA ?= -fasm
GHCFLAGS = \
Expand Down
2 changes: 1 addition & 1 deletion util/haskell-language-server/gen_hie.py
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,13 @@
"./Libs",
"./GHC",
"./GHC/posix",
"./Htcl",
"./Parser",
"./Parser/BSV",
"./Parser/Classic",
"./Parsec",
"../vendor/stp/include_hs",
"../vendor/yices/include_hs",
"../vendor/htcl"
]

arguments = ["-i"]
Expand Down

0 comments on commit 462538b

Please sign in to comment.