curry

Thread Start a new thread

Download

curry@lists.rwth-aachen.de

December 2018

2 participants
1 discussions

pakcs installation gave "inappropriate ioctl" error; I tried to rebuild `pakcs`; now I can't even build `pakcs`
by Jeffrey Brown 04 Dec '18

04 Dec '18

[This email is duplicated in markdown form here <https://github.com/JeffreyBenjaminBrown/curry-studies/blob/9ce2c82c4649835c…> [0].] `pakcs` started giving me this error, no matter where I ran it from: jeff@jeff-inspiron-2017:~/logic/curry/rslt$ pakcs [FATAL ERROR: at Sun Dec 2 17:07:26 2018 Could not open resource database "/home/jeff/logic/curry/install/pakcs-2.0.2/bin/cypm": Inappropriate ioctl for device] jeff@jeff-inspiron-2017:~/logic/curry/rslt$ cd .. After installing `pakcs` (from `pakcs-2.0.2-amd64-Linux.tar.gz`), I had made a copy of the folder. I figured the original must have got corrupted, so I deleted it and replaced it with the copy that I made after first installing. I still got the same "inappropriate ioctl" error. So I tried running `make` again, without first running `make clean`. I got this error <https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d…> [1]. Then I ran `make clean`, and got no apparent errors <https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d…> [2]. But I still can't `make` the project <https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d…> [3]. [0] https://github.com/JeffreyBenjaminBrown/curry-studies/blob/9ce2c82c4649835c… [1] https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d… [2] https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d… [3] https://github.com/JeffreyBenjaminBrown/curry-studies/blob/a59cf8ee1a6d469d… -- Jeff Brown | Jeffrey Benjamin Brown Website <https://msu.edu/~brown202/> | Facebook <https://www.facebook.com/mejeff.younotjeff> | LinkedIn <https://www.linkedin.com/in/jeffreybenjaminbrown>(spammy, so I often miss messages here) | Github <https://github.com/jeffreybenjaminbrown>

2 1